Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Résultat majeur
Production scientifique
Résultat majeur : GLUCOSE 2.1 SAT SOLVER WON THE SAT 2012 CHALLENGE
GLUCOSE 2.1 SAT SOLVER WON THE SAT 2012 CHALLENGE
01 juillet 2012

The new version of the award winning SAT Solver Glucose (by G. Audemard, CRIL and L. Simon, IASI/LRI) won the SAT Challenge 2012 as the "Best Single-Engine Solver in the Application Track".
The new version of Glucose won the SAT Challenge 2012 as the "Best Single-Engine Solver in the Application Track".

Glucose is a SAT solver developed by G. Audemard (Cril, Lens), and L. Simon (IASI/LRI) since 2009.
Glucose 1.0 won the SAT Competition 2009, Applications
Glucose 2.0 won the SAT Competition 2011, Applications
Glucose 2.1 sources will be available shortly.



Activités de recherche
  ° Intelligence Artificielle
  ° SAT

Equipe
  ° Intelligence Artificielle et Systèmes d'Inférence

Contact
  [aucun]
Résultats majeurs
INFORMATION-GEOMETRIC OPTIMIZATION ALGORITHMS: A UNIFYING PICTURE VIA INVARIANCE PRINCIPLES
02 mai 2017
Yann Ollivier, Ludovic Arnold, Anne Auger, Nikolaus Hansen - JMLR 18(18):1−65, 2017.

FORMAL MUTATION TESTING FOR CIRCUS
21 avril 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
09 février 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 mai 2015
Alexis Courbet, Franck Molina and Patrick Amar

ICDE 2015 TUTORIAL: RDF DATA MANAGEMENT: REASONING ON WEB DATA
27 octobre 2014
François Goasdoué, Ioana Manolescu and Alexandra Roatiș