A Complete Calculus for Max-SAT.

Maria Luisa Bonet Jordi Levy Felip Manyà

Published in: SAT (2006)

Keyphrases

max sat
weighted max sat
lower bound
tabu search
sat solvers
search algorithm
branch and bound algorithm
linear programming
branch and bound
cnf formula
boolean satisfiability
maximum satisfiability
unsatisfiable cores
multi objective
search tree
randomly generated