Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Clayton D. Scott
muljowidodo kartidjo
Duzgun, H.Sebnem
Jean Jourdan
Roland Zumkeller
Maximilian Dürr
Knud J. Larsen
Dan Graur
Junfang Kang
Chen Runze
Home
/
Paper
/
求解SAT问题的算法的研究进展 (Research Advance of SAT Solving Algorithm).
Paper Info
Open Visualization
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
Authors (3 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Ying Guo
1
4
5.13
Changsheng Zhang
2
7
3.59
Bin Zhang
3
213
41.40
1