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