@InProceedings{FGM+-07-3,
title = {Suppression des clauses redondantes dans des instances SAT},
booktitle = {3èmes Journées Francophones de Programmation par Contraintes(JFPC'07)},
pages = {28-37},
author = {Fourdrinoy, Olivier and Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Fourdrinoy, Olivier and Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {2007},
month = {jun},
}