-SAT.

Vishwambhar Rathi Erik Aurell Lars K. Rasmussen Mikael Skoglund

Published in: SAT (2010)

Keyphrases

sat solvers
satisfiability problem
stochastic local search algorithms
sat instances
sat solving
boolean satisfiability
sat problem
phase transition
search algorithm
max sat
propositional satisfiability
orders of magnitude
stochastic local search
variable ordering
np complete
industrial applications
sat encodings