@InProceedings{MSG-97-2,
title = {Tabu Search for SAT},
booktitle = {Proceedings of the 14th American National Conference on Artificial Intelligence(AAAI'97)},
pages = {281-285},
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 = {1997},
month = {jul},
address = { Rhode Island, USA},
}