Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. Heuristique d'ordonnancement des variables pour SAT.
Congrès de la Société Française de Recherche Opérationelle et d'Aide à la Décision (ROADEF'06), 2006, lille, Région indéterminée.
⟨hal-03300592⟩