@PHDTHESIS{abram2015,
url = "http://www.theses.fr/2015AIXM4330",
title = "Max-résolution et apprentissage pour la résolution du problème de satisfiabilité maximum",
author = "Abramé, André",
year = "2015",
note = "Thèse de doctorat dirigée par Jégou, Philippe et Habet, Djamal Informatique Aix-Marseille 2015",
note = "2015AIXM4330",
url = "http://www.theses.fr/2015AIXM4330/document",
}