Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > KEYWORD > PPSZ:
Reports tagged with PPSZ:
TR17-140 | 11th September 2017
Tong Qin, Osamu Watanabe

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

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

more >>>



ISSN 1433-8092 | Imprint