Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving.

Jeffrey J. Joyce Carl-Johan H. Seger

Published in: DAC (1993)

Keyphrases

learning algorithm
multi agent
multiscale
evaluation methods
evaluation model
comparative evaluation
evaluation process
binary decision diagrams
genetic algorithm
high level
image sequences
empirical evaluation
heuristic search algorithms
interactive theorem proving