Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlight : GLUCOSE 2 BEST SAT SOLVEUR (APPLICATIONS,SAT+UNSAT-
GLUCOSE 2 BEST SAT SOLVEUR (APPLICATIONS,SAT+UNSAT-
29 June 2011

Glucose 2 best SAT solver, in the SAT 2011 Competition, Application track (SAT+UNSAT)
More competitive than ever, with 67 solvers submitted, the international SAT competition has awarded 3 medals to Glucose 2, a sequential SAT solver by Gilles Audemard (CRIL, Lens) and Laurent Simon (LRI, Paris Sud 11). Glucose 2 was ranked first in the sequential track, Application, SAT+UNSAT (on all benchmarks), one of the main tracks for real-world applications of SAT solvers. Glucose 2 was also ranked second on the track Application, UNSAT.

More details on the given web page.



Keyword
  [none]

Group
  [none]

Contact
  [none]