Equivalence Checking Using Cuts and Heaps.

Andreas Kuehlmann Florian Krohm

Published in: DAC (1997)

Keyphrases

data sets
information systems
interactive dynamic influence diagrams
real time
genetic algorithm
learning algorithm
database systems
multiscale
multi agent systems
consistency checking