Lagerkvist, Victor

9 publications

IJCAI 2025 A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds Victor Lagerkvist, Mohamed Maizia, Johannes Schmidt

IJCAI 2025 Facets in Argumentation: A Formal Approach to Argument Significance Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson

IJCAI 2024 Solving Quantified Boolean Formulas with Few Existential Variables Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki

IJCAI 2023 A Fast Algorithm for Consistency Checking Partially Ordered Time Leif Eriksson, Victor Lagerkvist

IJCAI 2023 Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning Leif Eriksson, Victor Lagerkvist

IJCAI 2022 A Multivariate Complexity Analysis of Qualitative Reasoning Problems Leif Eriksson, Victor Lagerkvist

JAIR 2022 Computational Short Cuts in Infinite Domain Constraint Satisfaction Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak

IJCAI 2021 Improved Algorithms for Allen's Interval Algebra: A Dynamic Programming Approach Leif Eriksson, Victor Lagerkvist

IJCAI 2020 Lower Bounds and Faster Algorithms for Equality Constraints Peter Jonsson, Victor Lagerkvist