Leif Eriksson

According to our database, Leif Eriksson authored at least 10 papers between 2021 and 2026.

Collaborative distances:

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

2026

Concise representations and complexity results for welfare-maximizing combinatorial assignment.

Fredrik Präntare, Leif Eriksson, George Osipov, Fredrik Heintz, Peter Jonsson

Auton. Agents Multi Agent Syst., June, 2026

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach.

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

CoRR, May, 2026

Backdoors for Quantified Boolean Formulas.

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

CoRR, April, 2026

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming.

Victor Lagerkvist, Johanna Groven, Leif Eriksson

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

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