Title
Privacy-Preserving SAT Solving Based on Projection-Equivalence CNF Obfuscation.
Year
Venue
DocType
2018
CSS
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Ying Qin115.43
Xiao Yang Shen200.34
Zhen Yue Du300.34