Nombre de documents archivés : 1.
Rahmoune, Nabila (2006). « Méthode SAT et algorithme DPLL appliqués à un problème de recherche opérationnelle » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.