ROMEO HPC Center
01/06/2010

Romeo et MTSS présents à JFPC

Le Centre de Calcul de Champagne-Ardenne ROMEO sera représenté aux Sixièmes Journées Francophones de Programmation par Contraintes par un de ses jeunes chercheurs en informatique. En effet, le vendredi matin, Pascal Vander-Swalmen présentera le solveur qu'il a développé lors de sa thèse dans la catégorie Logiciels Libres. MTSS (http://www.parallel-sat.net/) est un solveur de problèmes SAT développé sur la machine ROMEO II


 

Retrouver le programme complet sur http://jfpc2010.greyc.fr/programme.php