Techniques for formal transformations of binary decision diagrams.

Giora Kolotov Ilya Levin Vladimir Ostrovsky

Published in: ICECS (2004)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
variable ordering
model checking
dynamic programming
formal specification
machine learning
information retrieval
artificial intelligence
formal methods
knowledge compilation