Shortening QBF Proofs with Dependency Schemes release_rcdr4qsyr5g7thmwbds5tphnii

by Joshua Blinkhorn, Olaf Beyersdorff

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

p263-280 (2017)

Archived Files and Locations

application/pdf  272.8 kB
file_vc5o3xy3lvhmrmubr4kfunsucy
eprints.whiterose.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Archived
Type  chapter
Stage   published
Year   2017
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)
Catalog Record
Revision: 1a731bd8-568b-4e0e-a97e-4fa98c9e2dbc
API URL: JSON