The Complexity of Unique-SAT: An Isolation Lemma for k-CNFs (2003)

by C Calabro, R Impagliazzo, V Kabanets, R Paturi
Venue:In 18th IEEE Anual Conference on Computational Complexity