Shortening QBF Proofs with Dependency Schemes

by Joshua Blinkhorn, Olaf Beyersdorff

Published in Lecture Notes in Computer Science by Springer International Publishing.

p263-280 (2017)

application/pdf 272.8 kB
file_vc5o3xy3lvhmrmubr4kfunsucy eprints.whiterose.ac.uk (web)
web.archive.org (webarchive)

Archived

Type chapter
Stage

published

Year 2017

DOI 10.1007/978-3-319-66263-3_17

Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L: 0302-9743

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

Catalog Record
Revision: 1a731bd8-568b-4e0e-a97e-4fa98c9e2dbc
API URL: JSON

Shortening QBF Proofs with Dependency Schemes release_rcdr4qsyr5g7thmwbds5tphnii