Instance Generation for SAT-based ATPG.

Daniel Tille Görschwin Fey Rolf Drechsler

Published in: DDECS (2007)

Keyphrases

version space
answer set programming
constraint solver
generation process
neural network
learning algorithm
decision trees
logic programs
heuristic search
planning problems