Leif Eriksson
6 papers · 2021–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (5)
🌈
Renaissance Researcher
(5)
🧭
Keyword Pioneer
Conferences
IJCAI (5)
AAAI (1)
Top co-authors
Keywords
temporal reasoning
(4)
dynamic programming
(3)
allen's interval algebra
(2)
complexity analysis
(2)
constraint satisfaction problem
(1)
interval algebra
(1)
quantified boolean formula
(1)
complexity theory
(1)
fixed-parameter algorithm
(1)
conjunctive normal form
(1)
fine-grained analysis
(1)
exponential algorithm
(1)
partially ordered time
(1)
network consistency
(1)
point algebra
(1)
qualitative temporal reasoning
(1)
sublinear partitioning
(1)
np-hard reasoning
(1)
qualitative reasoning
(1)
existential quantification
(1)
Papers
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
AAAI 2026
Solving Quantified Boolean Formulas with Few Existential Variables
IJCAI 2024
A Fast Algorithm for Consistency Checking Partially Ordered Time
IJCAI 2023
Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning
IJCAI 2023
A Multivariate Complexity Analysis of Qualitative Reasoning Problems
IJCAI 2022
Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach
IJCAI 2021