Login / Signup
Generating Satisfiable Problem Instances.
Dimitris Achlioptas
Carla P. Gomes
Henry A. Kautz
Bart Selman
Published in:
AAAI/IAAI (2000)
Keyphrases
</>
randomly generated
sat instances
random instances
real time
satisfiability problem
training instances
database
np complete
data sets
machine learning
training set
linear programming
sat problem
generation process
stochastic local search
subgraph isomorphism