A MAX-SAT Algorithm Portfolio.

Paulo J. Matos Jordi Planes Florian Letombe João Marques-Silva

Published in: ECAI (2008)

Keyphrases

dynamic programming
learning algorithm
linear programming
max sat
maximum satisfiability
objective function
computational complexity
search space
cost function
np hard
lower bound