Pudlák, Pavel; Scheder, Dominik; Talebanfard, Navid 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). MSC: 68T20 68Q17 68R07 68W20 PDFBibTeX XMLCite \textit{P. Pudlák} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 85, 13 p. (2017; Zbl 1441.68238) Full Text: DOI arXiv
Hertli, Timon; Moser, Robin A.; Scheder, Dominik 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 \textit{T. Hertli} et al., LIPIcs -- Leibniz Int. Proc. Inform. 9, 237--248 (2011; Zbl 1230.68179) Full Text: DOI arXiv Link