A Simple Model to Generate Hard Satisfiable Instances

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

Published in: CoRR (2005)

Keyphrases

computational model
statistical model
neural network
mathematical model
probabilistic model
neural network model
formal model
prediction model
genetic algorithm
bayesian networks
objective function
probability distribution
input data
parameter estimation
experimental data
simulation model