LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, Pôle de Recherche Mathématiques, Informatique, Physique, Systèmes, Université de Montpellier
Satisfiabilité booléenneRègles de l’associationProgrammation par ensemble de réponsesProblème d’acheminement des véhiculesLogique algébriqueConservation de la biodiversité
Affiliations organisationnelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, Pôle de Recherche Mathématiques, Informatique, Physique, Systèmes, Université de Montpellier