Počet záznamů: 1  

Random resolution refutations

  1. 1.
    PUDLÁK, P., THAPEN, N. 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. Dostupné z: doi: 10.4230/LIPIcs.CCC.2017.1.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.