Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference16 articles.
1. On threshold BDDs and the optimal variable ordering problem;Behle,2007
2. Exact OBDD bounds for some fundamental functions;Bollig,2008
3. Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems;Bollig;Journal of Computer and System Sciences,2000
4. Graph-based algorithms for Boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
5. Computing strongly connected components in a linear number of symbolic steps;Gentilini,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Minimization of (Complete) Ordered Binary Decision Diagrams;Theory of Computing Systems;2015-10-14
2. On the Complexity of Some Ordering Problems;Mathematical Foundations of Computer Science 2014;2014
3. Yet harder knapsack problems;Theoretical Computer Science;2011-10