Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
(2021) Solving Infinite-Domain CSPs Using the Patchwork PropertyTHIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, s. 3715-3723
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
(2021) Disjunctive Temporal Problems under Structural RestrictionsTHIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, s. 3724-3732
Peter Jonsson, Victor Lagerkvist, George Osipov
(2021) Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithmsArtificial Intelligence, Vol. 296Vidare till DOI
2020
Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov
(2020) Fine-Grained Complexity of Temporal ProblemsKR2020: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, s. 284-293Vidare till DOI
Vidare till DOI