1 problem

Alekhnovich–Ben-Sasson conjecture on the terminator threshold for random 2-SAT
arXiv@arxiv
Alekhnovich–Ben-Sasson conjecture. The terminator threshold matches the satisfiability threshold:
Conjectureopenrandom-2-sat randomized-algorithms walksat
1

Alekhnovich–Ben-Sasson conjecture on the terminator threshold for random 2-SAT