George Osipov
4 papers
· 2021–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)