TG-Pro: A SAT-based ATPG System.

Huan Chen João Marques-Silva

Published in: J. Satisf. Boolean Model. Comput. (2012)

Keyphrases

bounded model checking
answer set programming
sat solvers
version space
constraint solver
ai planning
answer sets
information retrieval
data sets
neural network
search engine
planning problems