Subject
Discrete Mathematics and Combinatorics,Geometry and Topology,Numerical Analysis,Algebra and Number Theory
Reference10 articles.
1. Elementary Linear Algebra: Applications Version;Anton,2013
2. Multi-valued decision diagrams: theory and applications;Kam;Mult. Valued Log.,1998
3. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
4. A parallel algorithm for constructing binary decision diagrams;Kimura,1990
5. Improving the variable ordering of OBDDs is NP-complete;Bollig;IEEE Trans. Comput.,1996
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献