×

Found 2 Documents (Results 1–2)

Tighter hard instances for PPSZ. (English) Zbl 1441.68238

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 85, 13 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Improving PPSZ for 3-SAT using critical variables. (English) Zbl 1230.68179

Schwentick, Thomas (ed.) et al., STACS 2011. 28th international symposium on theoretical aspects of computer science, Dortmund, Germany, March 10–12, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-25-5). LIPIcs – Leibniz International Proceedings in Informatics 9, 237-248, electronic only (2011).
MSC:  68T20 68W20 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Filter Results by …

Year of Publication

Main Field