A formal non-heuristic ATPG approach.
Manfred HenftlingHannes C. WittmannKurt AntreichPublished in: EURO-DAC (1995)
Keyphrases
- search algorithm
- optimal solution
- dynamic programming
- simulated annealing
- formal model
- information systems
- exact algorithms
- packing problem
- tabu search
- bin packing
- real time
- depth first search
- tree search
- heuristic methods
- solution quality
- combinatorial optimization
- np hard
- special case
- search space
- multi agent
- genetic algorithm