|
|
Research highlight : GLUCOSE 2.3 BEST SAT SOLVER 2013 (APPLICATIONS, CERTIFIED UNSAT) |
 |
|
 |
|
GLUCOSE 2.3 BEST SAT SOLVER 2013 (APPLICATIONS, CERTIFIED UNSAT)
16 July 2013
Glucose 2.3 won the first price at the international SAT Competition, 2013, in the track Applications, UNSAT.
|
Glucose 2.3 won the first price at the international SAT Competition, 2013, in the track Applications, UNSAT (certified).
This category is particularly difficult and challenging, with an important industrial impact.
Glucose 2.3 has also won 3 other medals (with another gold one) in the same competition, in other tracks.
Keyword
° SAT
Group
° Artificial Intelligence and Inference Systems
Contact
[none]
|
| |
|
|
|
|
