Improved Exact Solvers for Weighted Max-SAT.

Teresa Alsinet Felip Manyà Jordi Planes

Published in: SAT (2005)

Keyphrases

weighted max sat
sat solvers
max sat
orders of magnitude
genetic algorithm
constraint satisfaction
propositional satisfiability
state space
logic programs
domain independent
sat instances