Computer Engineering & Science
Previous Articles Next Articles
CHEN Xiulan,LIU Ting
Received:
Revised:
Online:
Published:
Abstract:
Key words: SAT problem, branching heuristic algorithm, VSIDS, decision level, conflict decision level, conflict frequency of variable
CHEN Xiulan,LIU Ting.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2019/V41/I03/490