SAT 2009 competitive events booklet: preliminary version
Olivier Roussel, Laurent J. Simon, Vasco M. Manquinho, Josep Argelich, Jordi Planes · 2009
GLUCOSE is based on a new scoring scheme for the clause learning mechanism, based on the paper [Audemard and Simon, 2009]. This short competition report summarizes the techniques embedded in the competition 09 version of GLUCOSE. Solver’s name comes from glue clauses, a particular kind of clauses that GLUCOSE detects and preserves during search. The web page for GLUCOSE is http://www.lri.fr/ simon/glucose.