On Partitioning for Maximum Satisfiability.

Ruben Martins Vasco M. Manquinho Inês Lynce

Published in: ECAI (2012)

Keyphrases

maximum satisfiability
boolean satisfiability
max sat
combinatorial problems
sat problem
branch and bound algorithm
objective function
search algorithm
lower bound
domain specific
linear programming
domain independent
boolean functions