Le LIP6, solidaire de Charlie Hebdo (onze ans)

Thèse : Vers un solveur SAT distribué efficace

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