Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates.
Javier LarrosaRobert NieuwenhuisAlbert OliverasEnric Rodríguez-CarbonellPublished in: SAT (2009)
Keyphrases
- branch and bound
- boolean optimization
- optimal solution
- branch and bound algorithm
- boolean satisfiability
- lower bound
- search algorithm
- column generation
- upper bound
- search space
- combinatorial optimization
- branch and bound procedure
- max sat
- integer linear programming
- tree search
- branch and bound method
- sat solving
- randomly generated
- sat problem
- beam search
- branch and bound search
- metaheuristic
- objective function
- search strategies
- cost function
- linear programming
- linear program