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
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

CELL-CELL COMMUNICATION ENHANCES THE CAPACITY OF CELL ENSEMBLES TO SENSE SHALLOW GRADIENTS DURING MORPHOGENESIS
9 February 2016
D. Ellison, A. Mugler, M.D. Brennan, S.H. Lee, R.J. Huebner, E.R. Shamir, L.A. Woo, J. Kim, P. Amar

COMPUTING WITH SYNTHETIC PROTOCELLS
13 May 2015
Alexis Courbet, Franck Molina and Patrick Amar

ICDE 2015 TUTORIAL: RDF DATA MANAGEMENT: REASONING ON WEB DATA
27 October 2014