Contact

Atef HASNI

Hello!

I am a PhD student of Computer Science at CRIL (Centre de Recherche en Informatique de Lens) , which is located in Faculty Jean Perrin (Univeristy of Artois - France).

My Supervisors are Éric Grégoire (professor), Bertrand MAZURE (professor),and Cédric PIETTE (lecturer).

Publications

  1. Atef Hasni, "Extended-SquarO: Complexité et résolution", RJCIA'13
  2. Eric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette, "Solving E-SquarO through SAT-Coding", ICTAI'13 (soumis)