@InProceedings{OGM+-02-2,
title = { Techniques de simplification de CNF},
booktitle = {8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets(JNPC'02)},
pages = {181-194},
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 = {may},
address = { Nice, France},
}