Lifting QBF Resolution Calculi to DQBF

Beyersdorff, O, Chew, L, Schmidt, RA et al. (1 more author) (2016) Lifting QBF Resolution Calculi to DQBF. In: Theory and Applications of Satisfiability Testing – SAT 2016 ( Lecture Notes in Computer Science ). 19th International Conference on Theory and Applications of Satisfiability Testing, 05-08 Jul 2016, Bordeaux, France. Springer Verlag , pp. 490-499. ISBN 978-3-319-40969-6



Copyright, Publisher and Additional Information: © Springer International Publishing Switzerland 2016. This is an author produced version of a conference paper published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy. The final publication is available at Springer via
  • Accepted: 3 April 2016
  • Published: 11 June 2016
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Institute for Computational and Systems Science (Leeds)
Funding Information:
FunderGrant number
John Templeton Foundation - DO NOT USE48138
Depositing User: Symplectic Publications
Date Deposited: 08 Apr 2016 13:35
Last Modified: 01 Nov 2016 22:41
Published Version:
Status: Published
Publisher: Springer Verlag
Identification Number: