Login / Signup
Tong Qin
ORCID
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Randomly Generated
Np Hard
Search Space
Sat Problem
Top Venues
WALCOM
Electron. Colloquium Comput. Complex.
Theor. Comput. Sci.
</>
Publications
</>
Tong Qin
,
Osamu Watanabe
An improvement of the algorithm of Hertli for the unique 3SAT problem.
Theor. Comput. Sci.
806 (2020)
Tong Qin
,
Osamu Watanabe
An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem.
WALCOM
(2018)
Tong Qin
,
Osamu Watanabe
An improvement of the algorithm of Hertli for the unique 3SAT problem.
Electron. Colloquium Comput. Complex.
24 (2017)