2015 Project-Team Activity Report
TASC
Theory, Algorithms and Systems for Constraints
Research centre:
Rennes - Bretagne-Atlantique
In partnership with: Ecole des Mines de Nantes, Université 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:
Computer Science and Digital Science:
- 2.1.5. - Constraint programming
- 3.2.1. - Knowledge bases
- 3.2.3. - Inference
- 6.1. - Mathematical Modeling
- 7.2. - Discrete mathematics, combinatorics
- 8.2. - Machine learning
- 8.6. - Decision support
Other Research Topics and Application Domains:
- 4.1. - Fossile energy production
- 4.2. - Renewable energy production
- 8.3. - Urbanism and urban planning