Compacting randomly generated test sets.

James H. Aylor James P. Cohoon E. L. Feldhousen Barry W. Johnson

Published in: ICCD (1990)

Keyphrases

randomly generated
test set
np complete
error rate
training set
boolean functions
branch and bound algorithm
training data
sat instances
test data
phase transition
integer programming formulation
sat problem
constraint problems
decision trees
linear programming
semi supervised
computational complexity