Section: Bilateral Contracts and Grants with Industry

ANR BOOLE

Participants : Vincent Armant, Jérémie Du Boisberranger, Xavier Lorca, Charlotte Truchet.

• Title: BOOLE .

• Duration: 2010-2013.

• Type: open research program.

• Budget: founding a PhD student and travels.

• Others partners: Univ. de Versailles Saint-Quentin , Univ. Caen , Univ. Paris 8 , Univ. Aix-Marseille , Univ. Paris Nord , Univ. Paris 11 , ENS Paris .

• Défi: Probabilistic method for combinatorial problems.

The work of TASC focuses on the use of probabilistic methods to avoid waking systematically global constraints for nothing. The goal is to provide probabilistic models for the consistency of global constraints such as alldifferent or nvalue. We compute the probability of a constraint to be still consistent after fixing one of its variables and provide an approximation that can be computed in constant time. The PhD of J. du Boisberranger is co-supervised with D. Gardy from Univ. de Versailles Saint-Quentin .