FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself.

Rune Krauss, Jan Zielasko, Rolf Drechsler

Browse the full DATE paper archive.