Skip to content
cs-conference-ranking.org

Leif Eriksson

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

3

Active years

2021–2026

Best venue rank

A*

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAITowards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming.Victor Lagerkvist, Johanna Groven, Leif Eriksson
2026KRClausal Deletion Backdoors for QBF: a Parameterized Complexity Approach.Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki
2024IJCAISolving Quantified Boolean Formulas with Few Existential Variables.Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki
2023IJCAIA Fast Algorithm for Consistency Checking Partially Ordered Time.Leif Eriksson, Victor Lagerkvist
2023IJCAIImproved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning.Leif Eriksson, Victor Lagerkvist
2022IJCAIA Multivariate Complexity Analysis of Qualitative Reasoning Problems.Leif Eriksson, Victor Lagerkvist
2021IJCAIImproved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach.Leif Eriksson, Victor Lagerkvist