Towards an Evolutionary Solving of SAT Problems

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.