3-CNF-Satisfiability in Polynomial Time

Narendra S. Chaudhari. 3-CNF-Satisfiability in Polynomial Time. In Bhanu Prasad, Pawan Lingras, Ramakant Nevatia, editors, Proceedings of the 5th Indian International Conference on Artificial Intelligence, IICAI 2011, Tumkur, Karnataka State, India, December 14-16, 2011. pages 590-609, IICAI, 2011.

Abstract

Abstract is missing.