When does equal sat(T)?

François Lemaire Marc Moreno Maza Wei Pan Yuzhen Xie

Published in: J. Symb. Comput. (2011)

Keyphrases

satisfiability problem
sat solvers
search algorithm
sat problem
boolean satisfiability
sat solving
propositional satisfiability
search engine
phase transition
pseudo boolean constraints
databases
machine learning
data structure
search procedures
stochastic local search
stochastic local search algorithms