Supported by the National Natural Science Foundation of China under Grant Nos.60833001, 60721061, 60725207 (国家自然科学基金); the National Basic Research Program of China under Grant No.2010CB328103 (国家重点基础研究发展计划(973))
徐艳艳,岳伟亚.基于BDD的增量启发式搜索.软件学报,2009,20(9):2352-2365
复制