An Algorithmic Branch and Bound Method for PLA Test Pattern Generation.
Markus RobinsonJanusz RajskiPublished in: ITC (1988)
Keyphrases
- branch and bound method
- branch and bound
- branch and bound algorithm
- mixed integer programming
- lower bound
- reduce the search space
- optimal configuration
- feasible solution
- upper bound
- column generation
- discrete optimization problems
- search space
- multistage
- linear programming
- search algorithm
- optimal solution
- lot sizing
- tabu search
- genetic algorithm