Victor Lagerkvist
9 papers · 2020–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Interdisciplinary Bridge π£ Hot Topic Early Bird π Academic Marathon (5) π§ Keyword Pioneer π Cross-Pollinator (5)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(10)
π
Cross-Pollinator
(5)
π
Keyword Champion
(3)
π§¬
Topic Evolution
π₯
Unstoppable
(6)
Conferences
IJCAI (8)
AAAI (1)
Top co-authors
Keywords
temporal reasoning
(4)
dynamic programming
(3)
fine-grained complexity
(3)
constraint satisfaction problem
(2)
complexity analysis
(2)
allen's interval algebra
(2)
exponential time hypothesis
(2)
non-monotonic reasoning
(1)
equality constraint
(1)
exponential-time hypothesis
(1)
argumentation framework
(1)
quantified boolean formula
(1)
complexity theory
(1)
fixed-parameter algorithm
(1)
np-complete problem
(1)
abstract argumentation
(1)
conjunctive normal form
(1)
fine-grained analysis
(1)
exponential algorithm
(1)
partially ordered time
(1)
Papers
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
AAAI 2026
Facets in Argumentation: A Formal Approach to Argument Significance
IJCAI 2025
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds
IJCAI 2025
Solving Quantified Boolean Formulas with Few Existential Variables
IJCAI 2024
Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning
IJCAI 2023
A Fast Algorithm for Consistency Checking Partially Ordered Time
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
Lower Bounds and Faster Algorithms for Equality Constraints
IJCAI 2020