Author:
Lousberg Sam,Thuijsman Sander,Reniers Michel
Subject
Control and Systems Engineering
Reference36 articles.
1. Binary decision diagrams;Akers;IEEE Trans. Comput.,1978
2. Aloul, F., Markov, I., and Sakallah, K. (2003). FORCE: A fast and easy-to-implement variable-ordering heuristic. In Proc. ACM Great Lakes Symp. VLSI, 116–119.
3. Improving the variable ordering of OBDDs is NP-complete;Bollig;IEEE Trans. Comput.,1996
4. Design structure matrix extensions and innovations: A survey and new opportunities;Browning;IEEE Trans. Eng. Manag.,2016
5. Symbolic boolean manipulation with ordered binary-decision diagrams;Bryant;ACM Comput. Surv.,1992
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献