Je suis doctorant au CRIL travaillant sur le problème de satisfaction de formules booléennes dans un environnement parallèle.