Items where authors include "Osipov, G."

Article

Dabrowski, K.K., Jonsson, P., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (2 more authors) (2025) Almost Consistent Systems of Linear Equations. ACM Transactions on Algorithms (TALG). ISSN 1549-6325 (In Press)

Proceedings Paper

Eriksson, L., Lagerkvist, V., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (3 more authors) (2024) Solving Quantified Boolean Formulas with Few Existential Variables. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. IJCAI 2024, 03-09 Aug 2024, Jeju Island, South Korea. IJCAI , California, USA , pp. 1889-1897. ISBN 978-1-956792-04-1

Ordyniak, S. orcid.org/0000-0003-1935-651X, Dabrowski, K., Jonsson, P. et al. (3 more authors) (2023) Parameterized Complexity Classification for Interval Constraints. In: Dagstuhl Reports. IPEC 2023: International Symposium on Parameterized and Exact Computation, 06-08 Sep 2023, Amsterdam, Netherlands. Leibniz International Proceedings in Informatics (LIPIcs), 285 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , Wadern, Merzig-Wadern, Saarland , 11:1-11:19. ISBN 978-3-95977-305-8