Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively

Haixia Jia Cristopher Moore Doug Strain

Published in: CoRR (2005)

Keyphrases

cnf formula
optimal solution
satisfiability problem
random sat
neural network
feasible solution
benchmark problems
website
constraint satisfaction
solution quality
randomly generated