Multi-terminal binary decision diagrams
From MaRDI portal
Publication:1355341
zbMath0863.00022MaRDI QIDQ1355341
No author found.
Publication date: 23 May 1997
Published in: Formal Methods in System Design (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming (90-06)
Related Items (1)
This page was built for publication: Multi-terminal binary decision diagrams
