Towards Provably Complete Stochastic Search Algorithms for Satisfiability.

Inês Lynce Luís Baptista João P. Marques Silva

Published in: EPIA (2001)

Keyphrases

stochastic search algorithms
satisfiability problem
databases
data mining
learning algorithm
image sequences
special case
np complete
sat problem