Mohamed Tounsi: Towards an Evolutionary Solving of SAT Problems. IC-AI 2002: 890-896