Subsumed Label Elimination for Maximum Satisfiability.

Jeremias Berg Paul Saikko Matti Järvisalo

Published in: ECAI (2016)

Keyphrases

maximum satisfiability
boolean satisfiability
max sat
combinatorial problems
sat problem
genetic algorithm
constraint programming
branch and bound algorithm
sat solvers
reinforcement learning
optimization problems
linear programming
np complete
probabilistic planning