k-SAT Is No Harder Than Decision-Unique-k-SAT.

Chris Calabro Ramamohan Paturi k-SAT Is No Harder Than Decision-Unique-k-SAT. 59-70 2009 CSR http://dx.doi.org/10.1007/978-3-642-03351-3_8 conf/csr/2009 db/conf/csr/csr2009.html#CalabroP09