Media type: E-Article Title: The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs Contributor: Calabro, Chris; Impagliazzo, Russell; Kabanets, Valentine; Paturi, Ramamohan imprint: Elsevier BV, 2008 Published in: Journal of Computer and System Sciences Language: English DOI: 10.1016/j.jcss.2007.06.015 ISSN: 0022-0000 Origination: Footnote: Access State: Open Access