@MasterThesis{MAZ-95-1,
title = { Expérimentations, analyse et améliorations des méthodes de résolution du problème SAT},
author = {Mazure, Bertrand},
OPT_auteurs_membres = {Mazure, Bertrand},
year = {1995},
month = {jul},
address = {Lens, France},
}