@InProceedings{FGM+-06-1,
title = {Heuristique d'ordonnancement des variables pour SAT},
booktitle = {Congrès de la Société Française de Recherche Opérationelle et d'Aide à la Décision(ROADEF'06)},
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 = {2006},
month = {jan},
address = {lille},
}