TY  - RPRT
TI  - Some notes on the abstraction operation for Multi-Terminal Binary Decision Diagrams
AU  - Ludwig Griebl
AU  - Johann Schuster
PY  - 2013
DO  - 10.1007/s10703-013-0198-0
UR  - https://arxiv.org/abs/1303.6186
ID  - 1303.6186
ER  -