Keyphrases
- branch and bound algorithm
- lower bound
- branch and bound
- randomly generated
- upper bound
- np hard
- optimal solution
- parallel algorithm
- search tree
- set covering problem
- haplotype inference
- combinatorial optimization
- boolean satisfiability
- max sat
- finding an optimal solution
- variable ordering
- search algorithm
- np complete
- scheduling problem
- multi objective