|
|
Research highlight : GLUCOSE 2.1 SAT SOLVER WON THE SAT 2012 CHALLENGE |
 |
|
 |
|
GLUCOSE 2.1 SAT SOLVER WON THE SAT 2012 CHALLENGE
1 July 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.
Keyword
° Artificial Intelligence ° SAT
Group
° Artificial Intelligence and Inference Systems
Contact
[none]
|
| |
|
|
|
|
