Leif Eriksson

5 papers in the IJCAI proceedings

IJCAI 2024

Solving Quantified Boolean Formulas with Few Existential Variables

with Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki

doi:10.24963/ijcai.2024/209

Details PDF

IJCAI 2023

A Fast Algorithm for Consistency Checking Partially Ordered Time

with Victor Lagerkvist

doi:10.24963/ijcai.2023/212

Details PDF

Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning

with Victor Lagerkvist

doi:10.24963/ijcai.2023/213

Details PDF

IJCAI 2022

A Multivariate Complexity Analysis of Qualitative Reasoning Problems

with Victor Lagerkvist

doi:10.24963/ijcai.2022/251

Details PDF

IJCAI 2021

Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach

with Victor Lagerkvist

doi:10.24963/ijcai.2021/258

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings