Items where authors include "Lagerkvist, V."

Proceedings Paper

Eriksson, L., Lagerkvist, V., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (3 more authors) (2026) Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach. In: Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning. 23rd International Conference on Principles of Knowledge Representation and Reasoning, 20-23 Jul 2026, Lisbon, Portugal. KR . (In Press)

Eriksson, L., Lagerkvist, V., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (3 more authors) (2024) Solving Quantified Boolean Formulas with Few Existential Variables. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. IJCAI 2024, 03-09 Aug 2024, Jeju Island, South Korea. IJCAI , California, USA , pp. 1889-1897. ISBN 978-1-956792-04-1