Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais. Reducing hard SAT instances to polynomial ones. In Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2007, 13-15 August 2007, Las Vegas, Nevada, USA. pages 18-23, IEEE Systems, Man, and Cybernetics Society, 2007. [doi]
Abstract is missing.