Parallel branch and bound algorithm for solving integer linear programming models derived from behavioral synthesis.
Mohammad K. FallahMahmood FazlaliPublished in: Parallel Comput. (2021)
Keyphrases
- branch and bound algorithm
- integer linear programming
- branch and bound
- combinatorial optimization
- boolean satisfiability
- lower bound
- boolean optimization
- finding an optimal solution
- randomly generated
- variable ordering
- precedence constraints
- upper bound
- lagrangian relaxation
- search tree
- optimal solution
- genetic algorithm
- exact solution
- search space
- pseudo boolean
- computational complexity