"Unique k-SAT and General k-SAT."

Timon Hertli (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics