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

WALCOM: Algorithms and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-75172-6_9 ◽

2018 ◽

pp. 93-105

Author(s):

Tong Qin ◽

Osamu Watanabe

Download Full-text