Computer Engineering & Science
Previous Articles Next Articles
CHANG Wenjing1,2,XU Yang2
Received:
Revised:
Online:
Published:
Abstract:
Key words: satisfiability problem, preprocessing technique, necessary literal, data structure
CHANG Wenjing1,2,XU Yang2.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2019/V41/I02/315