TASC - 2014

2014 Project-Team Activity Report
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)

Field: Algorithmics, Programming, Software and Architecture

Theme: Architecture, Languages and Compilation
Keywords: Constraints, Artificial Intelligence, Inference, Operations Research, Numerical Methods, Knowledge