Le projet Pajero regroupe des partenaires industriels (Horizontal Software, EQUITIME, CAPS) et académiques (CRIL, I3S, PRISM) et a pour objectif de mettre en œuvre une solution de gestion de ressources multiples capable de gérer des problèmes de grande taille en utilisant des techniques innovantes de programmation par contraintes et le parallélisme, en particulier dans le cloud. La responsabilité scientifique du projet incombe au CRIL. Ce projet d’une durée de 4 ans (2011-2015) est financé par OSEO dans le cadre du programme ISI (Innovation Stratégique Industrielle). L’enveloppe attribuée au laboratoire (plus de 800 k€) a permis le recrutement de 3 doctorants, 1 ingénieur de recherche (3 ans) et 1 post-doctorant. Le groupe du laboratoire travaillant sur ce projet se compose de 13 personnes et développe deux pistes de recherche : l’intégration de différents paradigmes au sein d’un même solveur (contraintes dures, contraintes souples, optimisation, explications, etc.) ainsi que la parallélisation des algorithmes de recherche.