SAT-based ATPG using multilevel compatible don't-cares.

Nikhil Saluja Kanupriya Gulati Sunil P. Khatri

Published in: ACM Trans. Design Autom. Electr. Syst. (2008)

Keyphrases

answer set programming
bounded model checking
sat solvers
ai planning
version space
constraint solver
expert systems
planning problems
answer sets
search space
boolean satisfiability
search engine
case study
logic programs