Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams
TASCMELB
-
Title: Synergy between Filtering and Explanations for Scheduling and Placement Constraints
-
International Partner (Institution - Laboratory - Researcher):
-
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.
BANANAS
Inria International Partners
Informal International Partners
-
SICS , Sweden.
-
Uppsala University , Sweden.
-
4C , Ireland.
Participation In other International Programs
Ulysse (cooperation with 4C, Cork, Ireland).