Eriksson, Leif

5 publications

IJCAI 2024 Solving Quantified Boolean Formulas with Few Existential Variables Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki

IJCAI 2023 A Fast Algorithm for Consistency Checking Partially Ordered Time Leif Eriksson, Victor Lagerkvist

IJCAI 2023 Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning Leif Eriksson, Victor Lagerkvist

IJCAI 2022 A Multivariate Complexity Analysis of Qualitative Reasoning Problems Leif Eriksson, Victor Lagerkvist

IJCAI 2021 Improved Algorithms for Allen's Interval Algebra: A Dynamic Programming Approach Leif Eriksson, Victor Lagerkvist