Thèse : Vers un solveur SAT distribué efficace

Désolé, l'annonce n'est plus d'actualité