Projet d'architecture parallèle et distribuée sur un algorithme de résolution de SAT