The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs.

Chris Calabro Russell Impagliazzo Valentine Kabanets Ramamohan Paturi The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs. 386-393 2008 74 J. Comput. Syst. Sci. 3 http://dx.doi.org/10.1016/j.jcss.2007.06.015 db/journals/jcss/jcss74.html#CalabroIKP08