Victor Lagerkvist
9 papers · 2020–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 ↓+1 more ↓ Show less ↑
๐ Conference Polyglot ยท Bronze ๐ Academic Marathon ยท Sprint ๐ Interdisciplinary Bridge ยท Silver ๐งฌ Topic Evolution ๐ Keyword Champion (3)
๐ฅ
Unstoppable ยท Bronze
Top co-authors
Research topics
Keywords
temporal reasoning
(4)
fine-grained complexity
(3)
dynamic programming
(3)
exponential time hypothesis
(2)
complexity analysis
(2)
constraint satisfaction problem
(2)
allen's interval algebra
(2)
non-monotonic reasoning
(1)
equality constraint
(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)
network consistency
(1)
Papers
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
AAAI 2026
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds
IJCAI 2025
Facets in Argumentation: A Formal Approach to Argument Significance
IJCAI 2025
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
Lower Bounds and Faster Algorithms for Equality Constraints
IJCAI 2020