Osipov, George

4 publications

IJCAI 2024 Solving Quantified Boolean Formulas with Few Existential Variables Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki

AAAI 2022 Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

AAAI 2021 Disjunctive Temporal Problems Under Structural Restrictions Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

AAAI 2021 Solving Infinite-Domain CSPs Using the Patchwork Property Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov