Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Control and Optimization,Discrete Mathematics and Combinatorics,Computer Science Applications
Reference17 articles.
1. Lecture notes in computer science;B Becker,2005
2. Behle M (2007) Another zero one vertex enumeration tool homepage. http://www.mpi-inf.mpg.de/~behle/azove.html
3. Behle M, Eisenbrand F (2007) 0/1 vertex and facet enumeration with BDDs. In: Applegate D, Brodal GS, Panario D, Sedgewick R (eds) Proceedings of the 9th workshop on algorithm engineering and experiments (ALENEX’07). SIAM, Philadelphia, pp 158–165
4. Bollig B, Wegener I (1996) Improving the variable ordering of OBDDs is NP-complete. IEEE Trans Comput 45(9):993–1002
5. Bryant RE (1986) Graph-based algorithms for Boolean function manipulation. IEEE Trans Comput 35:677–691
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献