Keyphrases
- branch and bound algorithm
- lower bound
- branch and bound
- upper bound
- randomly generated
- np hard
- orders of magnitude
- combinatorial optimization
- optimal solution
- search tree
- combinatorial problems
- set covering problem
- max sat
- haplotype inference
- finding an optimal solution
- boolean satisfiability
- search algorithm
- variable ordering
- integer programming
- metaheuristic
- objective function
- neural network