Binary Decision Diagrams-Reference-Cited by-同舟云学术

Binary Decision Diagrams

Published:2018 Issue: Volume: Page:191-217
ISSN:
Container-title:Handbook of Model Checking
language:
Short-container-title:

Author:

Bryant Randal E.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-10575-8_7

Reference69 articles.

1. Akers, S.B.: Binary decision diagrams. IEEE Trans. Comput. C-27(6), 509–516 (1978)

2. LNCS;L. Alfaro de,2000

3. Aloul, F.A., Markov, I.L., Sakallah, K.A.: Faster SAT and smaller BDDs via common function structure. In: Proc. of the Intl. Conf. on Computer-Aided Design (ICCAD), pp. 443–448. IEEE, Piscataway (2001)

4. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

5. Ashar, P., Cheong, M.: Efficient breadth-first manipulation of binary decision diagrams. In: Proc. of the Intl. Conf. on Computer-Aided Design (ICCAD), pp. 622–627. IEEE, Piscataway (1994)

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

1. On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models;28th ACM International Systems and Software Product Line Conference;2024-09-02

2. Acumen: Analysing the Impact of Organisational Change on Users’ Access Entitlements;Lecture Notes in Computer Science;2024

3. On Aligning Non-Order-Associated Binary Decision Diagrams;INFORMS Journal on Computing;2023-09

4. Generating Extended Resolution Proofs with a BDD-Based SAT Solver;ACM Transactions on Computational Logic;2023-07-25

5. Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic;Electronic Proceedings in Theoretical Computer Science;2023-07-11