Leif Eriksson

According to our database, Leif Eriksson authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Solving Quantified Boolean Formulas with Few Existential Variables.

Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

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

Leif Eriksson, Victor Lagerkvist

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Fast Algorithm for Consistency Checking Partially Ordered Time.

Leif Eriksson, Victor Lagerkvist

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

A Multivariate Complexity Analysis of Qualitative Reasoning Problems.

Leif Eriksson, Victor Lagerkvist

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Concise Representations and Complexity of Combinatorial Assignment Problems.

Fredrik Präntare, George Osipov, Leif Eriksson

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

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

Leif Eriksson, Victor Lagerkvist

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021