A Clause-Based Reduction from k-SAT to CLIQUE.

Thomas O'Neil A Clause-Based Reduction from k-SAT to CLIQUE. 17-23 2005 conf/fcs/2005 FCS db/conf/fcs/fcs2005.html#ONeil05