Résultat majeur : GLUCOSE 2 MEILLEUR SOLVEUR SAT (APPLICATIONS/SAT+UNSAT)
GLUCOSE 2 MEILLEUR SOLVEUR SAT (APPLICATIONS/SAT+UNSAT) 29 juin 2011
Glucose 2 a gagné la compétition SAT 2011, dans la catégorie Applications (SAT+UNSAT)
La compétition SAT 2011 a été plus compétitive que jamais, avec 67 démonstrateurs soumis. Glucose 2, développé par Gilles Audemard (CRIL, Lens) et Laurent Simon (LRI, Paris Sud 11) a remporté le premier prix dans la catégorie des solveurs séquentiels, pour les problèmes applicatifs (SAT+UNSAT). La compétition SAT a lieu tous les deux ans. La première version de glucose avait déjà remporté une médaille d'or dans cette méme catégorie (limitée aux instances UNSAT) en 2009.
Glucose 2 a par ailleurs été classé second et troisième dans d'autres catégories.
