Techniques for SAT-Based Constrained Test Pattern Generation.

Jiri Balcarek Petr Fiser Jan Schmidt

Published in: DSD (2011)

Keyphrases

answer set programming
ai planning
website
data sets
sat solvers
version space
databases
training data
support vector
search algorithm
planning problems