Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search.
Benjamin W. WahChee Fen YuPublished in: IEEE Trans. Software Eng. (1985)
Keyphrases
- branch and bound algorithm
- branch and bound
- search tree
- lower bound
- search algorithm
- optimal solution
- upper bound
- randomly generated
- search space
- heuristic search
- combinatorial optimization
- set covering problem
- tree search
- np hard
- column generation
- lagrangian relaxation
- variable ordering
- max sat
- evaluation function
- search strategy
- combinatorial problems
- search problems
- boolean satisfiability
- optimization problems