@InProceedings{GMS-02-1,
title = { Using failed local search for SAT as an oracle for tackling harder A.I. problems more efficiently},
booktitle = {Proc. of the Tenth International Conference on Artificial Intelligence : Methodology, Systems, Applications(AIMSA'2002)},
publisher = {LNCS 2443, Springer Verlag},
editor = {D. Scott},
pages = {51-60},
author = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {2002},
month = {sep},
address = {Varna, Bulgarie},
}