Constraint-Based Optimal Testing Using DNNF Graphs.

Anika Schumann Martin Sachenbacher Jinbo Huang

Published in: CP (2009)

Keyphrases

optimal solution
test cases
data structure
dynamic programming
graph theory
optimal control
graph theoretic
knowledge base
pairwise
graph representation
optimal design
model counting