Dependency Schemes in QBF Calculi: Semantics and Soundness

Beyersdorff, O orcid.org/0000-0002-2870-1648 and Blinkhorn, J (2016) Dependency Schemes in QBF Calculi: Semantics and Soundness. In: Principles and Practice of Constraint Programming: Proceedings. 22nd International Conference (CP 2016), 05-09 Sep 2016, Toulouse, France. Lecture Notes in Computer Science (9892). Springer International Publishing , Cham, Switzerland , pp. 96-112. ISBN 978-3-319-44952-4

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2016, Springer International Publishing. This is an author produced version of a paper published in Lecture Notes in Computer Science. The final publication is available at Springer via https://doi.org/10.1007/978-3-319-44953-1_7. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Accepted: 2 June 2016
  • Published (online): 23 August 2016
  • Published: 23 August 2016
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: 05 Jul 2016 09:43
Last Modified: 24 Aug 2017 06:09
Published Version: https://doi.org/10.1007/978-3-319-44953-1_7
Status: Published
Publisher: Springer International Publishing
Series Name: Lecture Notes in Computer Science
Identification Number: https://doi.org/10.1007/978-3-319-44953-1_7

Export

Statistics