Items where authors include "Eriksson, L."

Proceedings Paper

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