Published in: LIPIcs, Volume 9, 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)
Timon Hertli, Robin A. Moser, and Dominik Scheder. Improving PPSZ for 3-SAT using Critical Variables. In 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 9, pp. 237-248, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{hertli_et_al:LIPIcs.STACS.2011.237, author = {Hertli, Timon and Moser, Robin A. and Scheder, Dominik}, title = {{Improving PPSZ for 3-SAT using Critical Variables}}, booktitle = {28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)}, pages = {237--248}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-25-5}, ISSN = {1868-8969}, year = {2011}, volume = {9}, editor = {Schwentick, Thomas and D\"{u}rr, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2011.237}, URN = {urn:nbn:de:0030-drops-30147}, doi = {10.4230/LIPIcs.STACS.2011.237}, annote = {Keywords: SAT, satisfiability, randomized, exponential time, algorithm, 3-SAT, 4-SAT} }
Feedback for Dagstuhl Publishing