Shortening QBF Proofs with Dependency Schemes release_rcdr4qsyr5g7thmwbds5tphnii

by Joshua Blinkhorn, Olaf Beyersdorff

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

2017   p263-280

Archived Files and Locations

application/pdf  272.8 kB
file_vc5o3xy3lvhmrmubr4kfunsucy (webarchive) (web)
Read Archived PDF
Preserved and Accessible
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