TASC - 2011 - Annual activity report

TASC

TASC - 2011

Project Team Tasc

Members

Overall Objectives

Objectives of the team
Highlights

Scientific Foundations

Overview
Fundamental Research Topics

Application Domains

Panorama

Software

CHOCO
IBEX
Global Constraint Catalog

New Results

Octagonal Domains for Continuous Constraints (continuous)
A Constraint Seeker (classification, constraints and application)
Soft Problems (modelling and filtering)
Constraints with costs (modelling and filtering)
Efficient Filtering Algorithms for Generic Constraints (filtering)
Efficient Filtering Algorithms and Heuristics for Dedicated Constraints (filtering)
Explanations for Contraint Programming (solver)
Bin repacking (constraints and application)
A Global Constraint for Multi-Agent Localization (constraints and application)

Contracts and Grants with Industry

Contracts
Grants

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

TASC

Theory, Algorithms, and Systems for Constraints

Research centre: Rennes - Bretagne-Atlantique

In partnership with: CNRS, Université Nantes, Ecole des Mines de Nantes

In collaboration with: Laboratoire d'Informatique de Nantes Atlantique (LINA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Programs, Verification and Proofs

Keywords: Constraints, Artificial Intelligence, Inference, Operational Research, Numerical Methods