A unifying approach to edge-valued and arithmetic transform decision diagrams

DOI10.1023/A:1013743605263zbMath1073.90531MaRDI QIDQ1778578

Claudio Moraga, Tsutomu Sasao, Radomir S. Stanković

Publication date: 17 June 2005

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

binary decision diagrams (BDDs)arithmetic transform decision diagrams (ACDDs)edge-valued binary decision diagrams (EVBDDs)functional decision diagrams (FDDs)multi-terminal binary decision diagrams (MTBDDs)

Mathematics Subject Classification ID

Integer programming (90C10)

This page was built for publication: A unifying approach to edge-valued and arithmetic transform decision diagrams