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
BEST PAPER AWARD - HPCS 2019 - ON SERVER-SIDE FILE ACCESS PATTERN MATCHING
17 July 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
5 July 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 May 2019
Franco Quezada, Céline Gicquel and Safia Kedad-Sidhoum

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

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: