ECCC - TR17-140

ECCC

Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login

Register

Classic Style

REPORTS > DETAIL:

Paper:

TR17-140 | 11th September 2017 06:44

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

Contact

Add Comment

TR17-140 Authors: Tong Qin, Osamu Watanabe
Publication: 19th September 2017 18:23
Downloads: 2097

Keywords:

3SAT, PPSZ, unique solution

Abstract:

We propose a simple idea for improving the randomized algorithm of Hertli for the Unique 3SAT problem.

ISSN 1433-8092 | Imprint