Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver.
André AbraméDjamal HabetPublished in: J. Satisf. Boolean Model. Comput. (2014)
Keyphrases
- branch and bound
- max sat
- max sat solver
- lower bound
- search algorithm
- branch and bound algorithm
- search space
- column generation
- upper bound
- tree search
- combinatorial optimization
- optimal solution
- branch and bound method
- branch and bound procedure
- network design problem
- randomly generated problems
- tree search algorithm
- linear programming relaxation
- lagrangian heuristic
- partial solutions
- search strategies
- constraint satisfaction
- inference rules
- branch and bound search
- integer programming problems
- bnb adopt
- neural network