Building Strategies into QBF Proofs

Beyersdorff, O, Blinkhorn, J and Mahajan, M (2021) Building Strategies into QBF Proofs. Journal of Automated Reasoning, 65 (2). pp. 125-154. ISSN 0168-7433



Copyright, Publisher and Additional Information: © The Author(s) 2020. Building Strategies into QBF Proofs This is an open access article under the terms of the Creative Commons Attribution 4.0 International (CC BY 4.0) (
Keywords: QBF; DQBF; Resolution; Proof complexity
  • Accepted: 24 April 2020
  • Published (online): 22 May 2020
  • Published: January 2021
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 02 Jul 2020 11:40
Last Modified: 25 Jun 2023 22:20
Status: Published
Publisher: Springer
Identification Number: