Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software Glucose
Glucose - The solver that looks for glue clauses
Date of the last release: 01 January 2013

Person in charge : SIMON Laurent

Glucose is based on a new scoring scheme (well, not so new now) for the clause learning mechanism, based our IJCAI'09 paper. This page summarizes the techniques embedded in the competition 09 version of glucose. Solver's name is a contraction of the concept of "glue clauses", a particular kind of clauses that glucose detects and preserves during search. Glucose is heavily based on Minisat, so please do cite Minisat also if you want to cite Glucose.

More information:


Research activities

  SIMON Laurent

  Large-scale Heterogeneous DAta and Knowledge

Software & patents
Low-cost Solution for Tangible Interfaces

Browsing Linked Data Catalogs with LODAtlas

Query Intermediate Representation Library