GOC

SAT Competition 2017

Chu-Min Li (équipe GOC) et des collègues de l'Université de Huazhong (Chine) et Barcelone (Espagne) remportent la competition SAT 2017

Cette compétition permet de confronter des solvers de problèmes Boolean Satisfiability (SAT). Elle est organisée en parallèle de la Conference Internationale Theory and Applications of Satisfiability Testing and stands, qui s'est déroulée cette année à Helsinki.

 

Prix jeune Chercheur ROADEF

Clément LECAT (Doctorant équipe GOC) a obtenu le prix jeune chercheur lors de la dernière édition de la conférence ROADEF, pour ses travaux sur le Problème de Somme Coloration Minimale : Borne inférieure de la somme chromatique et borne supérieure de la force du graphe.

Ces travaux se basent sur une nouvelle considération de l'espace de recherche du problème de somme coloration minimum, afin de pouvoir déterminer une borne initiale supérieure pour la force d'un graphe et une borne initiale inférieure de la somme chromatique. 

Pages