@InProceedings{FGM+-07-1,
title = {Reducing hard SAT instances to polynomial ones},
booktitle = {the 2007 IEEE international conference on Information Reuse and Integration(IEEE-IRI'07)},
pages = {18-23},
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 = {aug},
address = {Las Vegas},
}