@InProceedings{DDD+-05-1,
title = { Using Boolean Constraint Propagation for Sub-clause Deduction},
booktitle = {11th International Conference on Principles and Practice of Constraint Programming(CP'05)},
publisher = {LNCS 3709, Springer Verlag},
pages = {757-761},
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 = {oct},
address = {Sitges, Espagne},
}