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éenneRaisonnement spatio-temporel qualitatifProgrammation par ensemble de réponsesSystèmes de distribution d’eau
Boolean SatisfiabilityQualitative Spatio-Temporal ReasoningAnswer Set ProgrammingWater Distribution Systems
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