@InProceedings{MS-96-2,
title = { Deux approches pour la résolution du problème SAT},
booktitle = {2ème Conférence Nationale sur la Résolution Pratique des Problèmes NP-Complets(CNPC'96)},
publisher = {Teknéa Editions},
pages = {103-114},
author = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
OPT_auteurs_membres = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
year = {1996},
month = {mar},
address = { Dijon, France},
}