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
BEST PAPER AWARD - HPCS 2019 - ON SERVER-SIDE FILE ACCESS PATTERN MATCHING
17 juillet 2019
Francieli Zanon Boito¹ , Ramon Nou², Laércio Lima Pilla³, Jean Luca Bez⁴, Jean-François Méhaut¹, T

BEST FULL PAPER AWARD EDM 2019 - EDUCATIONAL DATA MINING
05 juillet 2019
DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Ski

BEST PAPER AWARD - CODIT2019 - STOCHASTIC DUAL DYNAMIC INTEGER PROGRAMMING FOR A MULTI-ECHELON LOT-SIZING PROBLEM WITH REMANUFACTURING AND LOST SALES
14 mai 2019
Franco Quezada, Céline Gicquel and Safia Kedad-Sidhoum

BEST PAPER AWARD ICONS 2019: RESONANCE THINKING AND INDUCTIVE MACHINE LEARNING
06 mai 2019
Yves Kodratoff & Marta Franova

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: