Parallélisation d'un solveur SAT @ Laboratoire d'Informatique de Paris 6 — Hakan Metin

Votre navigateur est obsolète !

Pour une expériencenet et une sécurité optimale, mettez à jour votre navigateur. Mettre à jour maintenant

CV réalisé sur DoYouBuzz

Expériences

Dans une petite équipe j'ai parallélisé un solveur existant avec une gestion de la concurrence optimisé.