Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM, Pôle de Recherche Mathématiques, Informatique, Physique, Systèmes - MIPS, Université de Montpellier
Boolean SatisfiabilityAssociation RulesAnswer Set ProgrammingVehicle Routing ProblemAlgebraic LogicBiodiversity Conservation
Affiliations organisationnelles
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM, Pôle de Recherche Mathématiques, Informatique, Physique, Systèmes - MIPS, Université de Montpellier