Title
求解SAT问题的算法的研究进展 (Research Advance of SAT Solving Algorithm).
Year
DOI
Venue
2016
10.11896/j.issn.1002-137X.2016.03.002
计算机科学
DocType
Volume
Issue
Journal
43
3
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Ying Guo145.13
Changsheng Zhang273.59
Bin Zhang321341.40