A Simple Model to Generate Hard Satisfiable Instances.

Ke Xu Frédéric Boussemart Fred Hemery Christophe Lecoutre

Published in: IJCAI (2005)

Keyphrases

prior knowledge
probabilistic model
computational model
statistical model
high level
similarity measure
theoretical framework
experimental data
optimal solution
em algorithm
parameter estimation
process model
prediction model