Ordered binary decision diagrams and minimal trellises
From MaRDI portal
Publication:4571421
DOI10.1109/12.795225zbMath1391.94853OpenAlexW2136173287MaRDI QIDQ4571421
Alexander Vardy, John D. Lafferty
Publication date: 9 July 2018
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/021464d897a66b7de61c953b5c8ccd11defaa436
This page was built for publication: Ordered binary decision diagrams and minimal trellises