Sign in
Quanrun Fan
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Boolean Satisfiability
Sat Solving
Top Venues
MSN
</>
Publications
</>
Quanrun Fan
,
Zhenhua Duan
,
Cong Tian
,
Hongwei Du
Clustering and Partition Based Divide and Conquer for SAT Solving.
MSN
(2014)