Leif Eriksson

6 papers · 2021–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver

Venues

IJCAI (5) AAAI (1)

Top co-authors

Victor Lagerkvist (6) Fahad Panolan (1) Mateusz Rychlicki (1) Johanna Groven (1) Sebastian Ordyniak (1) George Osipov (1)

Research topics

Mathematics & Optimization (4) Mathematics (4) Optimization (3) Artificial Intelligence (2) Knowledge & Reasoning (2) Machine Learning (2) Core AI (2) Optimization & Theory (2) Reasoning (2) Computer Science (1) Foundations (1)

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