Reducing Symmetries to Generate Easier SAT Instances.

Jian Zhang Zhuo Huang

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

sat instances
satisfiability problem
sat solvers
randomly generated
sat problem
random sat instances
propositional satisfiability
database systems
computational properties
stochastic local search
decision makers
phase transition
random instances