|
|
Résultat majeur : GLUCOSE 2.3 MEILLEUR SAT SOLVER 2013 (APPLICATION, CERTIFIé UNSAT) |
 |
|
 |
|
GLUCOSE 2.3 MEILLEUR SAT SOLVER 2013 (APPLICATION, CERTIFIé UNSAT)
16 juillet 2013
Glucose 2.3 a remporté le premier prix à la compétition SAT 2013, catégorie Applications, UNSAT.
|
Glucose 2.3, un solveur SAT développé partiellement au LRI, a remporté une nouvelle fois le premier prix à la compétition SAT 2013, catégorie Applications, UNSAT (certifié).
Il s'agit d'une catégorie particulièrement difficile aux enjeux industriels importants (les problèmes sont sans solution) nécessitant de pouvoir exhiber la preuve (vérifiable par un outil indépendant) d'insatisfiabilité.
Par ailleurs, Glucose 2.3 a remporté 3 autres médailles (dont une seconde en Or) dans cette même compétition, dans d'autres catégories.
Activités de recherche
° SAT
Equipe
° Intelligence Artificielle et Systèmes d'Inférence
Contact
[aucun]
|
| |
|
|
|
|
