首页 / 资料库 / 文献详情
Efficient Heuristic Variable Ordering of OBDDs
龙望宁、闵应骅、边计年、杨士元、薛宏熙
2000Acta Scientiarum Naturalium Universitatis SunyatseniEngineering被引 1
摘要
该文献暂无收录摘要。
引用本文（GB/T 7714）
龙望宁, 闵应骅, 边计年, 等. Efficient Heuristic Variable Ordering of OBDDs[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2000.
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。