Techniques for SAT-based constrained test pattern generation.

Jiri Balcarek Petr Fiser Jan Schmidt

Published in: Microprocess. Microsystems (2013)

Keyphrases

answer set programming
bounded model checking
neural network
sat solvers
database
ai planning
real time
artificial intelligence
orders of magnitude
answer sets
version space
constraint logic programming
boolean satisfiability