SAT-Based Test Pattern Generation with Improved Dynamic Compaction.

Alexander Czutro Sudhakar M. Reddy Ilia Polian Bernd Becker

Published in: VLSI Design (2014)

Keyphrases

dynamic environments
multiscale
answer set programming
ai planning
learning algorithm
case study
training data
search algorithm
domain specific
answer sets
dynamically changing