Binary Decision Diagrams with Edge-Specified Reductions-Reference-Cited by-同舟云学术

Binary Decision Diagrams with Edge-Specified Reductions

Published:2019 Issue: Volume: Page:303-318
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Babar Junaid,Jiang Chuan,Ciardo Gianfranco,Miner Andrew

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-17465-1_17

Reference11 articles.

1. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comp. 35(8), 677–691 (1986)

2. Lecture Notes in Computer Science;RE Bryant,2018

3. Drechsler, R., Becker, B.: Ordered Kronecker functional decision diagrams – a data structure for representation and manipulation of Boolean functions. Trans. Comput. Aided Des. Integr. Circ. Syst. 17(10), 965–973 (2006)

4. Fleming, P.J., Wallace, J.J.: How not to lie with statistics: the correct way to summarize benchmark results. Commun. ACM 29(3), 218–221 (1986)

5. Kimura, S., Clarke, E.M.: A parallel algorithm for constructing binary decision diagrams. In: Proceedings of International Conference on Computer Design (ICCD), pp. 220–223. IEEE Computer Society Press, September 1990

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Diversity enforced Genetic Algorithm (GA) for Binary Decision Diagram (BDD) reordering;Applied Soft Computing;2024-04

2. Research Directions in Decision Diagram Technology;2023 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA);2023-07-05

3. CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions;International Journal on Software Tools for Technology Transfer;2022-02

4. Chain Reduction for Binary and Zero-Suppressed Decision Diagrams;Journal of Automated Reasoning;2020-07-21

5. Symbolic Model Checking with Sentential Decision Diagrams;Dependable Software Engineering. Theories, Tools, and Applications;2020