Lifting QBF Resolution Calculi to DQBF

Beyersdorff, O orcid.org/0000-0002-2870-1648, 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

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
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 https://dx.doi.org/10.1007/978-3-319-40970-2_30.
Dates:
  • Published: 11 June 2016
  • Accepted: 3 April 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:
Funder
Grant number
EPSRC
EP/L024233/1
John Templeton Foundation - DO NOT USE
48138
Depositing User: Symplectic Publications
Date Deposited: 08 Apr 2016 13:35
Last Modified: 01 Nov 2016 22:41
Published Version: https://dx.doi.org/10.1007/978-3-319-40970-2_30
Status: Published
Publisher: Springer Verlag
Identification Number: 10.1007/978-3-319-40970-2_30
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)