On the critical exponents of random k-SAT.

David Bruce Wilson

Published in: Random Struct. Algorithms (2002)

Keyphrases

sat solvers
satisfiability problem
randomly generated
uniformly distributed
domain independent
phase transition
max sat
sat instances