Hem

George Osipov

Postdoktor

Publikationer

2024

Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki (2024) Solving Quantified Boolean Formulas with Few Existential Variables PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, s. 1889-1897 (Konferensbidrag)
George Osipov (2024) On Infinite-Domain CSPs Parameterized by Solution Cost

2023

George Osipov, Magnus Wahlström (2023) Parameterized Complexity of Equality MinCSP 31st Annual European Symposium on Algorithms (ESA 2023), s. 86:1-86:17 (Konferensbidrag) Vidare till DOI
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Marcin Pilipczuk, Roohani Sharma (2023) Parameterized Complexity Classification for Interval Constraints 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), s. 11:1-11:19 (Konferensbidrag) Vidare till DOI
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Magnus Wahlström (2023) Almost Consistent Systems of Linear Equations Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), s. 3179-3217 (Konferensbidrag) Vidare till DOI

Nyheter

Adrian Lawson och doktorand George Osipov vid prisceremoni av Lawsonpriset.

George Osipov tilldelas Lawson-stipendiet för 2023

George Osipov, doktorand vid IDA, får Lawsons stipendium 2023 för excellens på det datavetenskapliga området och för att ha utmärkt sig på internationell nivå. Hans kvalifikationer överskrider kraven för stipendiet.

Taggar