@InProceedings{OGM+-02-1,
title = { Recovering and exploiting structural knowledge from CNF formulas},
booktitle = {Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming(CP'02)},
publisher = {LNCS 2470, Springer Verlag},
pages = {185-199},
author = {Ostrowski, Richard and Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {2002},
month = {sep},
address = { Ithaca (N.Y.)},
}