Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams not involved in an Inria International Labs

TASCMELB

• Title: Synergy between Filtering and Explanations for Scheduling and Placement Constraints

• International Partner (Institution - Laboratory - Researcher):

  • NICTA (Australia) - Optimisation Research Group (Optimisation) - Pascal van Hentenryck

• Start year: 2014

• See also: http://www.normalesup.org/~truchet/TASCMELB.html

• In the context of Constraint Programming and SAT the project addresses the synergy between filtering (removing values from variables) and explanations (explaining why values were removed in term of clauses) in order to handle in a more efficient way correlated resource scheduling and placement constraints. It combines the strong point of Constraint Programming, namely removing value that leads to infeasibility, with the strong point of SAT, namely taking advantage from past failure in order to quickly identify infeasible sub-problems.