George Osipov
4 papers · 2021–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (2) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer
π
Cross-Pollinator
(9)
Conferences
AAAI (3)
IJCAI (1)
Top co-authors
Keywords
fixed-parameter tractable
(2)
temporal reasoning
(2)
np-hard problem
(1)
constraint satisfaction problem
(1)
parameterized complexity
(1)
fixed-parameter tractability
(1)
quantified boolean formula
(1)
complexity theory
(1)
fixed-parameter algorithm
(1)
conjunctive normal form
(1)
existential quantification
(1)
simple temporal problem
(1)
patchwork property
(1)
constraint removal
(1)
disjunctive temporal problem
(1)
constraint satisfaction
(1)
Papers
Solving Quantified Boolean Formulas with Few Existential Variables
IJCAI 2024
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach
AAAI 2022
Solving Infinite-Domain CSPs Using the Patchwork Property
AAAI 2021
Disjunctive Temporal Problems under Structural Restrictions
AAAI 2021