Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers.
André AbraméDjamal HabetPublished in: ICTAI (2016)
Keyphrases
- branch and bound
- max sat
- search space
- branch and bound algorithm
- lower bound
- max sat solver
- sat solvers
- search algorithm
- column generation
- optimal solution
- unit propagation
- tabu search
- combinatorial optimization
- linear programming
- tree search
- maximum satisfiability
- reinforcement learning
- constraint satisfaction
- upper bound
- sat problem
- propositional satisfiability
- boolean satisfiability