@InProceedings{GMS-09-1,
title = {Local autarkies searching for the dynamic partition of CNF formulae},
booktitle = {21st International Conference on Tools with Artificial Intelligence (ICTAI'09)},
publisher = {IEEE Computer Society},
pages = {107-114},
author = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {2009},
month = {nov},
address = {Newark, New Jersey, USA},
}