Victor Lagerkvist

Department of Computer and Information Science (IDA) , Linköping University

9 papers in the IJCAI proceedings

IJCAI 2026

Maximum Satisfiability of Simple Temporal Problems

with Johannes K. Fichte, Johanna Groven, Peter Jonsson, Jorke M. de Vlas

doi:10.24963/ijcai.2026/248

Details PDF

IJCAI 2025

A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds

with Mohamed Maizia, Johannes Schmidt

doi:10.24963/ijcai.2025/508

Details PDF

Facets in Argumentation: A Formal Approach to Argument Significance

with Johannes K. Fichte, Nicolas Fröhlich, Markus Hecher, Yasir Mahmood, Arne Meier, Jonathan Persson

doi:10.24963/ijcai.2025/500

Details PDF

IJCAI 2024

Solving Quantified Boolean Formulas with Few Existential Variables

with Leif Eriksson, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki

doi:10.24963/ijcai.2024/209

Details PDF

IJCAI 2023

A Fast Algorithm for Consistency Checking Partially Ordered Time

with Leif Eriksson

doi:10.24963/ijcai.2023/212

Details PDF

Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning

with Leif Eriksson

doi:10.24963/ijcai.2023/213

Details PDF

IJCAI 2022

A Multivariate Complexity Analysis of Qualitative Reasoning Problems

with Leif Eriksson

doi:10.24963/ijcai.2022/251

Details PDF

IJCAI 2021

Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach

with Leif Eriksson

doi:10.24963/ijcai.2021/258

Details PDF

IJCAI 2020

Lower Bounds and Faster Algorithms for Equality Constraints

with Peter Jonsson

doi:10.24963/ijcai.2020/247

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings