RANDOM 2-SAT Does Not Depend on a Giant.

Published in: SIAM J. Discret. Math. (2007)

Keyphrases

random sat
phase transition
satisfiability problem
random constraint satisfaction problems
random sat instances
sat problem
boolean satisfiability
max sat
np complete
dynamic programming