SAT.

Guillermo Morales-Luna

Published in: MICAI (2005)

Keyphrases

satisfiability problem
sat solvers
sat problem
sat solving
boolean satisfiability
propositional satisfiability
search algorithm
phase transition
stochastic local search
stochastic local search algorithms
sat instances
search procedures
search strategies
max sat
data sets
model checking