@InProceedings{DDD+-05-2,
title = { Utilisation de la Propagation de Contraintes pour la Production de Sous-Clauses},
booktitle = {1ères Journées Francophones de Programmation par Contraintes(JFPC'05)},
pages = {69-78},
author = {Darras, Sylvain and Dequen, Gilles and Devendeville, Laure and Mazure, Bertrand and Ostrowski, Richard and Saïs, Lakhdar},
OPT_auteurs_membres = {Mazure, Bertrand and Saïs, Lakhdar},
year = {2005},
month = {jun},
address = { Lens, France},
}