Login / Signup
Jingzhu Kong
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Conjunctive Normal Form
Sat Solving
Cnf Formula
Phase Transition
Top Venues
APWeb Workshophs
</>
Publications
</>
Ying Qin
,
ShengYu Shen
,
Jingzhu Kong
,
Huadong Dai
Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula.
APWeb Workshophs
(2014)