@InProceedings{OMS+-04-1,
title = {Elimination des redondances dans les algorithmes de résolution de SAT},
booktitle = {14ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle(RFIA'04)},
volume = {3},
pages = {1343-1350},
author = {Ostrowski, Richard and Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
OPT_auteurs_membres = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
year = {2004},
month = {jan},
address = {Toulouse France},
}