Tong Qin, Osamu Watanabe 0001. An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem. In M. Sohel Rahman, Wing-Kin Sung, Ryuhei Uehara, editors, WALCOM: Algorithms and Computation - 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings. Volume 10755 of Lecture Notes in Computer Science, pages 93-105, Springer, 2018. [doi]
Abstract is missing.