Solving Quantified Boolean Formulas with Few Existential Variables

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

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Keywords: Satisfiability, Constraint satisfaction, Computational complexity of reasoning
Dates:
  • Published: August 2024
  • Published (online): August 2024
  • Accepted: 16 April 2024
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Algorithms & Complexity
Funding Information:
Funder
Grant number
EPSRC (Engineering and Physical Sciences Research Council)
EP/V00252X/1
Depositing User: Symplectic Publications
Date Deposited: 03 May 2024 12:16
Last Modified: 06 Aug 2024 07:44
Published Version: https://www.ijcai.org/proceedings/2024/209
Status: Published
Publisher: IJCAI
Identification Number: 10.24963/ijcai.2024/209
Open Archives Initiative ID (OAI ID):

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics