no code implementations • 25 May 2023 • Leif Eriksson, Victor Lagerkvist
Using this technique we obtain a major improvement of $O^*((\frac{cn}{\log{n}})^{n})$ for Allen's interval algebra.
no code implementations • 25 May 2023 • Leif Eriksson, Victor Lagerkvist
Partially ordered models of time occur naturally in applications where agents or processes cannot perfectly communicate with each other, and can be traced back to the seminal work of Lamport.
no code implementations • 18 Nov 2022 • Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak
We show that this kind of infinite-domain backdoors have many of the positive computational properties that finite-domain backdoors have: the associated computational problems are fixed-parameter tractable whenever the underlying constraint language is finite.
no code implementations • 30 Sep 2022 • Leif Eriksson, Victor Lagerkvist
Qualitative reasoning is an important subfield of artificial intelligence where one describes relationships with qualitative, rather than numerical, relations.
no code implementations • 14 Jul 2022 • Ambroise Baril, Miguel Couceiro, Victor Lagerkvist
We illustrate the advantages of this framework by instantiating our general algorithmic approach on several classes of problems (e. g., the $H$-coloring problem and its variants), and showing that it improves the best complexity upper bounds in the literature for several well-known problems.