Author:
van Dijk Tom,Hahn Ernst Moritz,Jansen David N.,Li Yong,Neele Thomas,Stoelinga Mariëlle,Turrini Andrea,Zhang Lijun
Publisher
Springer International Publishing
Reference37 articles.
1. Akers, S.B.: Binary decision diagrams. IEEE Trans. on Computers 27, 509–516 (1978)
2. Andersen, H.R.: An introduction to binary decision diagrams. Course Notes on the WWW (1997)
3. Babar, J., Miner, A.: Meddly: Multi-terminal and edge-valued decision diagram library. In: QEST, pp. 195–196. IEEE Comp. Soc., Los Alamitos (2010)
4. Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. In: ICCAD, pp. 188–191. IEEE Comp. Soc., Los Alamitos (1993)
5. Baier, C., Clarke, E.M., Hartonas-Garmhausen, V., Kwiatkowska, M., Ryan, M.: Symbolic model checking for probabilistic processes. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 430–440. Springer, Heidelberg (1997)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes;2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS);2023-05-03
2. Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach;ACM Transactions on Software Engineering and Methodology;2023-04-27
3. EDDY;Proceedings of the 28th Asia and South Pacific Design Automation Conference;2023-01-16
4. Optimization of BDD-based Approximation Error Metrics Calculations;2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI);2022-07
5. TBUDDY: A Proof-Generating BDD Package;Form Comp Aid Design;2022