Additive versus Multiplicative Clause Weighting for SAT.

John Thornton Duc Nghia Pham Stuart Bain Valnir Ferreira Jr.

Published in: AAAI (2004)

Keyphrases

satisfiability problem
sat solvers
sat problem
additive model
max sat
stochastic local search algorithms
sat solving
update rule
boolean satisfiability
stochastic local search
propositional satisfiability
sat instances
database
propositional logic
temporal logic
search strategies
special case