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.

@inproceedings{Tounsi02:0,
  title = {Towards an Evolutionary Solving of SAT Problems},
  author = {Mohamed Tounsi},
  year = {2002},
  researchr = {https://researchr.org/publication/Tounsi02%3A0},
  cites = {0},
  citedby = {0},
  pages = {890-896},
  booktitle = {Proceedings of the International Conference on Artificial Intelligence, IC-AI  02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3},
  editor = {Hamid R. Arabnia and Youngsong Mun},
  publisher = {CSREA Press},
  isbn = {1-892512-27-0},
}