@InProceedings{GHP+-13-1,
title = {Solving E-SquarO through SAT-coding},
booktitle = {25th International Conference on Tools with Artificial Intelligence(ICTAI'13)},
publisher = {IEEE Press},
pages = {955-962},
author = {Grégoire, Éric and Hasni, Atef and Piette, Cédric and Mazure, Bertrand},
OPT_auteurs_membres = {Grégoire, Éric and Hasni, Atef and Piette, Cédric and Mazure, Bertrand},
year = {2013},
}