Author:
Babar Junaid,Ciardo Gianfranco,Miner Andrew
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference20 articles.
1. Akers, S.B.: Functional testing using binary decision diagrams. In: Proceedings of 8th International Symposium on Fault-Tolerant Computing, pp. 75–82 (1978)
2. Amparore, E., Donatelli, S., Ciardo, G., Miner, A.: $$i_{{\rm Rank}}$$: a variable order metric for DEDS subject to linear invariants. In: Vojnar, T., Zhang L. (eds.) Proceedings of TACAS, LNCS, vol. 11428, pp. 285–302. Springer, Prague (2019)
3. Babar, J.: Decision diagrams: extensions and applications to reachability analysis. Ph.D. thesis, Iowa State University (2019)
4. Babar, J., Jiang, C., Ciardo, G., Miner, A.: Binary decision diagrams with edge-specified reductions. In: Vojnar, T., Zhang, L. (eds.) Proceedings of TACAS, LNCS, vol. 11428, pp. 303–318. Springer, Prague (2019)
5. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35(8), 677–691 (1986)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dictionary Encoding Based on Tagged Sentential Decision Diagrams;Algorithms;2024-01-18
2. Research Directions in Decision Diagram Technology;2023 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA);2023-07-05