Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.

Haixia Jia Cristopher Moore Doug Strain

Published in: AAAI (2005)

Keyphrases

first order logic
satisfiability problem
phase transition
random instances
random sat
website
case study
multi objective
feasible solution
efficient solutions
solution quality
generation process
sat problem
randomly generated
real time
solution space
scheduling problem
databases