George Osipov
4 papers · 2021–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Gold
Top co-authors
Research topics
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
Disjunctive Temporal Problems under Structural Restrictions
AAAI 2021
Solving Infinite-Domain CSPs Using the Patchwork Property
AAAI 2021