文章基本信息
- 标题：Binary Decision Diagrams: An Improved Variable Ordering using GraphRepresentation of Boolean Functions
- 作者：P. w. C. Prasad ; A. Assi ; A. Harb 等
- 期刊名称：International Journal of Computer Science
- 出版年度：2006
- 卷号：1
- 期号：1
- 出版社：World Enformatika Society
- 关键词：Binary Decision Diagrams; Graph Representation; Boolean Functions Representation; Variable Ordering
Loading...
