Vyžádat soubor
Reference/citace: 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
Vyžádané dokumenty: Thapen.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.