EN FR
EN FR
TASC - 2016
TASC - 2016
Project-Team Tasc
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project-Team Tasc
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


up Home | Next next


2016 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)



Field: Algorithmics, Programming, Software and Architecture

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 (oil, gas)
  • 4.3. - Renewable energy production
  • 8.3. - Urbanism and urban planning