Leif Eriksson
6 papers
· 2021–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
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)