Zero-One Designs Produce Small Hard SAT Instances.

Allen Van Gelder Ivor T. A. Spence

Published in: SAT (2010)

Keyphrases

sat instances
sat solvers
satisfiability problem
random instances
stochastic local search
sat problem
phase transition
database
document retrieval
randomly generated
random sat