An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem.

Tong Qin, Osamu Watanabe

Browse the full WALCOM paper archive.