Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
A Transition Matrix Model of Local Search Algorithm for Satisfiability Problem
ZENG Weiling, ZHOU Zhi, HUANG Liusheng
Computer Engineering . 2006, (3): 199 -102 .  DOI: 10.3969/j.issn.1000-3428.2006.03.072