An Accelerating Technique for SAT-based ATPG.

Yusuke Matsunaga

Published in: IPSJ Trans. Syst. LSI Des. Methodol. (2017)

Keyphrases

answer set programming
bounded model checking
sat solvers
ai planning
constraint solver
answer sets
version space
optimal solution
model checking
planning problems
planning domains
constraint logic programming
dynamic programming
orders of magnitude
boolean satisfiability
sat encodings