Dynamic Compaction in SAT-Based ATPG.

Alejandro Czutro Ilia Polian Piet Engelke Sudhakar M. Reddy Bernd Becker

Published in: Asian Test Symposium (2009)

Keyphrases

dynamic environments
genetic algorithm
multi agent
search algorithm
search space
sat solvers
answer sets
answer set programming
dynamically changing