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]
Research highlights
COMPUTER‐AIDED BIOCHEMICAL PROGRAMMING OF SYNTHETIC MICROREACTORS AS DIAGNOSTIC DEVICES
27 April 2018
Alexis Courbet, Patrick Amar, Francois Fages, Eric Renard, Franck Molina Mol Syst Biol. (2018) 14:

SELF-STABILIZING DISTRIBUTED STABLE MARRIAGE
5 November 2017


A MODEL OF PULSATION FOR EVOLUTIVE FORMALIZING INCOMPLETE INTELLIGENT SYSTEMS
27 July 2017


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

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