Login / Signup
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