A New Reduction from 3SAT to n-Partite Graphs

Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, R. Beau Lotto. A New Reduction from 3SAT to n-Partite Graphs. In Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, FOCI 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007. pages 235-238, IEEE, 2007. [doi]

Abstract

Abstract is missing.