@TechReport{OGM+-02-3,
title = {Recovering and exploiting structural knowledge from CNF formulas},
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},
month = {apr},
year = {2002},
institution = {Lens, France},
}