作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
SAT 局部搜索算法的转移矩阵模型
曾卫玲,周 智,黄刘生
A Transition Matrix Model of Local Search Algorithm for Satisfiability Problem
ZENG Weiling, ZHOU Zhi, HUANG Liusheng
计算机工程 . 2006, (3): 199 -102 .  DOI: 10.3969/j.issn.1000-3428.2006.03.072