Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.

Haixia Jia Cristopher Moore Doug Strain

Published in: J. Artif. Intell. Res. (2007)

Keyphrases

random sat
phase transition
satisfiability problem
random instances
learning algorithm
databases
data mining
information retrieval
orders of magnitude
randomly generated
efficient solutions
sat instances