An efficient solver for weighted Max-SAT.

Teresa Alsinet Felip Manyà Jordi Planes

Published in: J. Glob. Optim. (2008)

Keyphrases

weighted max sat
max sat
sat solvers
genetic algorithm
satisfiability problem
information retrieval
heuristic search
computational complexity
sat problem