Christian BESSIERE

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éenne

Règles de l’association

Programmation par ensemble de réponses

Problème d’acheminement des véhicules

Logique algébrique

Conservation de la biodiversité

Boolean Satisfiability

Association Rules

Answer Set Programming

Vehicle Routing Problem

Algebraic Logic

Biodiversity Conservation

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