Mohamed Tounsi. Towards an Evolutionary Solving of SAT Problems. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Artificial Intelligence, IC-AI 02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3. pages 890-896, CSREA Press, 2002.
Abstract is missing.