George Osipov

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 18

Top Topics

Solving Constraint Satisfaction Problems

Systems Of Linear Equations

Parameterized Complexity

Top Venues

Publications

Peter Jonsson, Victor Lagerkvist, George Osipov
CSPs with Few Alien Constraints. CP (2024)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
Algorithms and Complexity of Difference Logic. CoRR (2024)
Leif Eriksson, Victor Lagerkvist, George Osipov, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki
Solving Quantified Boolean Formulas with Few Existential Variables. CoRR (2024)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Marcin Pilipczuk, Roohani Sharma
Parameterized Complexity Classification for Interval Constraints. IPEC (2023)
George Osipov, Marcin Pilipczuk
Directed Symmetric Multicut is W[1]-hard. CoRR (2023)
George Osipov, Magnus Wahlström
Parameterized Complexity of Equality MinCSP. ESA (2023)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Marcin Pilipczuk, Roohani Sharma
Parameterized Complexity Classification for Interval Constraints. CoRR (2023)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Magnus Wahlström
Almost Consistent Systems of Linear Equations. SODA (2023)
George Osipov, Magnus Wahlström
Parameterized Complexity of Equality MinCSP. CoRR (2023)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
Solving infinite-domain CSPs using the patchwork property. Artif. Intell. 317 (2023)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach. AAAI (2022)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Magnus Wahlström
Almost Consistent Systems of Linear Equations. CoRR (2022)
Fredrik Präntare, George Osipov, Leif Eriksson
Concise Representations and Complexity of Combinatorial Assignment Problems. AAMAS (2022)
Peter Jonsson, Victor Lagerkvist, George Osipov
Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithms. Artif. Intell. 296 (2021)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
Disjunctive Temporal Problems under Structural Restrictions. AAAI (2021)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
Solving Infinite-Domain CSPs Using the Patchwork Property. AAAI (2021)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
Solving Infinite-Domain CSPs Using the Patchwork Property. CoRR (2021)
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
Fine-Grained Complexity of Temporal Problems. KR (2020)