Tong Qin

Orcid: 0000-0001-8177-0573

Affiliations:

According to our database¹, Tong Qin authored at least 2 papers between 2020 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2022

2020

An improvement of the algorithm of Hertli for the unique 3SAT problem.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020