Building Strategies into QBF Proofs

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

Abstract

Metadata

Item Type: Article
Authors/Creators:
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) (https://creativecommons.org/licenses/by/4.0/)

Keywords: QBF; DQBF; Resolution; Proof complexity
Dates:
  • 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: 10.1007/s10817-020-09560-1
Open Archives Initiative ID (OAI ID):

Export

Statistics