Vyžádat soubor

Reference/citace:  LOKSHTANOV, D., MIKHAILIN, I., RAMAMOHAN, P., PUDLÁK, Pavel. Beating brute force for (quantified) satisfiability of circuits of bounded treewidth. In: CZUMAJ, A., ed. Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia: SIAM, 2018, s. 247-261. ISBN 978-1-61197-503-1
Vyžádané dokumenty:  Pudlak.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.