Leif Eriksson

11 papers A* 6A 1Journal 4
YearRankTypeTitle / Venue / Authors
2026 A* conf
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming.
AAAI
Victor Lagerkvist, Johanna Groven, Leif Eriksson
2024 A* conf
Solving Quantified Boolean Formulas with Few Existential Variables.
IJCAI
Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki
2024 J jnl
Solving Quantified Boolean Formulas with Few Existential Variables.
CoRR
Leif Eriksson, Victor Lagerkvist, George Osipov, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki
2023 A* conf
A Fast Algorithm for Consistency Checking Partially Ordered Time.
IJCAI
Leif Eriksson, Victor Lagerkvist
2023 J jnl
A Fast Algorithm for Consistency Checking Partially Ordered Time.
CoRR
Leif Eriksson, Victor Lagerkvist
2023 A* conf
Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning.
IJCAI
Leif Eriksson, Victor Lagerkvist
2023 J jnl
Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning.
CoRR
Leif Eriksson, Victor Lagerkvist
2022 A* conf
A Multivariate Complexity Analysis of Qualitative Reasoning Problems.
IJCAI
Leif Eriksson, Victor Lagerkvist
2022 J jnl
A Multivariate Complexity Analysis of Qualitative Reasoning Problems.
CoRR
Leif Eriksson, Victor Lagerkvist
2022 A conf
Concise Representations and Complexity of Combinatorial Assignment Problems.
AAMAS
Fredrik Präntare, George Osipov, Leif Eriksson
2021 A* conf
Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach.
IJCAI
Leif Eriksson, Victor Lagerkvist