Some notes on the abstraction operation for Multi-Terminal Binary Decision Diagrams

Ludwig Griebl, Johann Schuster

The starting point of this work are inaccurate statements found in the literature for Multi-terminal Binary Decision Diagrams (MTBDDs) regarding the well-definedness of the MTBDD a…