Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;B. Becker,2005
2. Behle, M.: Another Zero One Vertex Enumeration tool Homepage (2007),
http://www.mpi-inf.mpg.de/~behle/azove.html
3. Behle, M., Eisenbrand, F.: 0/1 vertex and facet enumeration with BDDs. In: Workshop on Algorithm Engineering and Experiments (ALENEX 2007), New Orleans (to appear, January 2007)
4. Bollig, B., Wegener, I.: Improving the variable ordering of OBDDs is NP-complete. IEEE Transactions on Computers 45(9), 993–1002 (1996)
5. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35, 677–691 (1986)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献