Simplifying Interpreted Formulas.

Donald W. Loveland Robert E. Shostak

Published in: CADE (1980)

Keyphrases

mathematical formulas
decision trees
hidden markov models
data sets
data structure
search space