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