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
XML PDF e-pub
PDF e-Pub

up Home | Next next

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)

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
  • 4.2. - Renewable energy production
  • 8.3. - Urbanism and urban planning