SAT Live! est un site communautaire autour du problème SAT. Il permet de partager des nouvelles concernant les conférences, ateliers, logiciels, benchmarks, emplois autour du problème SAT.


Auteur(s) :

Toute catégorie    Site web