Number of the records: 1
Random resolution refutations
- 1.PUDLÁK, Pavel, THAPEN, Neil. Random resolution refutations. In: O’DONNELL, R., ed. 32nd Computational Complexity Conference (CCC 2017). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017, s. 1-10, č. článku 1. Leibniz International Proceedings in Informatics, 79. ISBN 978-3-95977-040-8. ISSN 1868-8969. Available: doi: 10.4230/LIPIcs.CCC.2017.1.
Number of the records: 1