@InProceedings{OMS+-03-1,
title = {Eliminating redundancies in SAT search trees},
booktitle = {15th IEEE International Conference on Tools with Artificial Intelligence(ICTAI'03)},
pages = {100-104},
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 = {2003},
month = {nov},
address = {Sacramento},
}