Remi COLETTA

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

Web sémantique

Génie logiciel

Big Data

Programmation par ensemble de réponses

Boolean Satisfiability

Semantic Web

Software Engineering

Big Data

Answer Set Programming

Expertise

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