The complexity of unique k-SAT: an isolation lemma for k-CNFs | IEEE Conference Publication | IEEE Xplore