Thomas O Neil. A Clause-Based Reduction from k-SAT to CLIQUE. In Hamid R. Arabnia, Rose Joshua, editors, Proceedings of The 2005 International Conference on Foundations of Computer Science, FCS 2005, Las Vegas, Nevada, USA, June 27-30, 2005. pages 17-23, CSREA Press, 2005.
Abstract is missing.