Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms.

Bernard Plessier Gary D. Hachtel Fabio Somenzi

Published in: Formal Methods Syst. Des. (1994)

Keyphrases

learning algorithm
computational complexity
computational cost
times faster
neural network
data structure
optimization problems
theoretical analysis
hierarchical structure
graph theory