Leif Eriksson

Identifiers

• name variant Leif Eriksson 0.60 · backfill

Papers (3)

1. Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming cs.CC · 2026 · author #3
2. Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach cs.CC · 2026 · author #1
3. Backdoors for Quantified Boolean Formulas cs.DS · 2026 · author #1

Mentions

• 2605.21267 #3 · arxiv_oai · confidence 0.70 Leif Eriksson

Frequent Coauthors

• Victor Lagerkvist 3 shared papers
• Fahad Panolan 2 shared papers
• George Osipov 2 shared papers
• Mateusz Rychlicki 2 shared papers
• Sebastian Ordyniak 2 shared papers
• Johanna Groven 1 shared papers