计算机工程与科学 ›› 2009, Vol. 31 ›› Issue (4): 56-59.
• • 上一篇 下一篇
张建民,沈胜宇,李思昆
出版日期:
发布日期:
Online:
Published:
张建民, 沈胜宇, 李思昆. 一种求解布尔不可满足子式的局部搜索算法[J]. 计算机工程与科学, 2009, 31(4): 56-59.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2009/V31/I4/56
