@InProceedings{FGM+-05-1,
title = { Exploring Hybrid Algorithms for SAT},
booktitle = {12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning(LPAR'05)},
editor = {G. Sutcliffer and A. Voronkov (eds)},
pages = {33-37},
author = {Fourdrinoy, Olivier and Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Fourdrinoy, Olivier and Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {2005},
month = {dec},
address = {Montego Bay, Jamaïque},
note = {short paper},
}