We study algorithms for finding satisfying assignments of randomly generated 3-SAT formula. In particular, we consider distributions of highly constrained formulas (that is, "above the threshold" formulas) restricted to satisfiable instances. We obtain positive algorithmic results, showing that such formulas can be solved in low exponential time. © Springer-Verlag 2004.
CITATION STYLE
Chen, H. (2004). An algorithm for SAT above the threshold. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2919, 14–24. https://doi.org/10.1007/978-3-540-24605-3_2
Mendeley helps you to discover research relevant for your work.