2013 Project-Team Activity Report
TASC
Theory, Algorithms and Systems for Constraints
Research centre:
Rennes - Bretagne-Atlantique
In partnership with: Université Nantes, Ecole des Mines de Nantes
In collaboration with: Laboratoire d'Informatique de Nantes Atlantique (LINA)
In collaboration with: Laboratoire d'Informatique de Nantes Atlantique (LINA)
Field: Algorithmics, Programming, Software and Architecture
Theme: Architecture, Languages and Compilation
Theme: Architecture, Languages and Compilation
Keywords: Constraints, Artificial Intelligence, Inference, Operations Research, Numerical Methods, Knowledge