Verifying BDD Algorithms through Monadic Interpretation.

Sava Krstic John Matthews

Published in: VMCAI (2002)

Keyphrases

data structure
theoretical analysis
learning algorithm
worst case
computational efficiency
computationally expensive
deductive databases
database
real time
genetic algorithm
computational complexity
computationally efficient
benchmark datasets
combinatorial optimization
recently developed