An improvement of the algorithm of Hertli for the unique 3SAT problem. - Tong Qin 003; Osamu Watanabe 001 (Theor. Comput. Sci., 2020)

An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem. - Tong Qin 003; Osamu Watanabe (IEICE Trans. Inf. Syst., 2022)