Sign in
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