@InProceedings{FGM+-07-2,
title = {Eliminating Redundant Clauses in Sat Instances},
booktitle = {The Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems(CP-AI-OR'07)},
publisher = {Lecture Notes in Computer Science (LNCS 4510), Springer},
editor = {Pascal Van Hentenryck and Laurence A. Wolsey},
pages = {71-83},
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 = {may},
address = {Brussels, Belgium},
note = {lncs 4510},
}