George Osipov
Postdoktor
Publikationer
2026
Algorithms and complexity of difference logic
Journal of computer and system sciences (Print), Vol. 159, Artikel 103780
(Artikel i tidskrift)
https://dx.doi.org/10.1016/j.jcss.2026.103780
2025
Parameterized Approximability for Modular Linear Equations
Proc. 33rd Annual European Symposium on Algorithms (ESA-2025), Artikel 88
(Konferensbidrag)
https://dx.doi.org/10.4230/LIPICS.ESA.2025.88
Almost Consistent Systems of Linear Equations
ACM Transactions on Algorithms, Vol. 21, Artikel 44
(Artikel i tidskrift)
https://dx.doi.org/10.1145/3733107
2024
CSPs with Few Alien Constraints
30TH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2024, Artikel 15
(Konferensbidrag)
https://dx.doi.org/10.4230/LIPIcs.CP.2024.15
Parameterized Complexity of MinCSP over the Point Algebra
32ND ANNUAL EUROPEAN SYMPOSIUM ON ALGORITHMS, ESA 2024, Artikel 93
(Konferensbidrag)
https://dx.doi.org/10.4230/LIPIcs.ESA.2024.93