Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Résultat majeur
Production scientifique
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.

Plus de détails sur le site du solveur.



Activités de recherche
  [aucun]

Equipe
  [aucun]

Contact
  [aucun]
Résultats majeurs
COMPUTER‐AIDED BIOCHEMICAL PROGRAMMING OF SYNTHETIC MICROREACTORS AS DIAGNOSTIC DEVICES
27 avril 2018
Alexis Courbet, Patrick Amar, Francois Fages, Eric Renard, Franck Molina Mol Syst Biol. (2018) 14:

BEST PAPER AWARD: SELF-STABILIZING DISTRIBUTED STABLE MARRIAGE
05 novembre 2017
SSS 2017, M. Laveau, G. Manoussakis, J. Beauquier, T. Bernard, J. Burman, J. Cohen, and L. Pilard

BEST PAPER AWARD INTELLI 2017: A MODEL OF PULSATION FOR EVOLUTIVE FORMALIZING INCOMPLETE INTELLIGENT SYSTEMS
27 juillet 2017
authors: Marta Franova, Yves Kodratoff

INFORMATION-GEOMETRIC OPTIMIZATION ALGORITHMS: A UNIFYING PICTURE VIA INVARIANCE PRINCIPLES
02 mai 2017
Yann Ollivier, Ludovic Arnold, Anne Auger, Nikolaus Hansen - JMLR 18(18):1−65, 2017.

FORMAL MUTATION TESTING FOR CIRCUS
21 avril 2016
Alex Donizeti Betez Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao Journal of Infor