Tong Qin, Osamu Watanabe: An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem. WALCOM 2018: 93-105