Request file
Review/Citation: BUSS, S., THAPEN, Neil. DRAT proofs, propagation redundancy, and extended resolution. In: JANOTA, M., LYNCE, I., eds. Theory and Applications of Satisfiability Testing – SAT 2019. Cham: Springer, 2019, s. 71-89. Lecture Notes in Computer Science, 11628. ISBN 978-3-030-24257-2. ISSN 0302-9743. Available: https://link.springer.com/chapter/10.1007%2F978-3-030-24258-9_5
Requested document: Thapen.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.