@InProceedings{FGM+-08-1,
title = {Réduction d'instances de SAT vers des instances polynomiales},
booktitle = {16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08)},
pages = {388-396},
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 = {2008},
month = {jan},
address = {Amiens},
}