Sign in

TG-Pro: A SAT-based ATPG System.

Huan ChenJoã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