Equivalence Checking Using Abstract BDDs.

Somesh Jha Yuan Lu Marius Minea Edmund M. Clarke

Published in: ICCD (1997)

Keyphrases

decision diagrams
heuristic search
binary decision diagrams
database
databases
high level
optimal solution
higher level
neural network
computational complexity
equivalence relation
interactive dynamic influence diagrams