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