@InProceedings{ALM-10-1,
title = {Approche hybride pour SAT},
booktitle = {17ième Congrès Francophone sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA'10)},
pages = {279--286},
author = {Audemard, Gilles and Lagniez, Jean-Marie and Mazure, Bertrand},
OPT_auteurs_membres = {Audemard, Gilles and Lagniez, Jean-Marie and Mazure, Bertrand},
year = {2010},
month = {jan},
}