Evaluating the effectiveness of D-chains in SAT-based ATPG.

Jan Burchard Felix Neubauer Pascal Raiola Dominik Erb Bernd Becker

Published in: LATS (2017)

Keyphrases

answer set programming
website
decision trees
expert systems
logic programs
ai planning
bounded model checking