Research highlight : WORLD'S BEST SAT SOLVER ON INDUSTRIAL (UNSAT) PROBLEMS
WORLD'S BEST SAT SOLVER ON INDUSTRIAL (UNSAT) PROBLEMS 9 July 2009
glucose, the SAT solver created by L. Simon (LRI) and G. Audemard from CRIL (Lens) won the international SAT competition in the Industrial, UNSAT category. This work is based on author's IJCAI 09 paper, available on their web site.
glucose, the SAT solver created by L. Simon (LRI) with G. Audemard from CRIL (Lens) won the international SAT competition in the Industrial, UNSAT category. This competition occurs only every 2 years and has more than forty solvers worldwide.
The industrial UNSAT category is one of the most targeted category by the industry.
glucose was placed second (same number of solved benchmarks as precosat) in the category Industrial/SAT+UNSAT.
This is the first time a french team wins the competition in this very competitive track "industrial UNSAT", which allow to efficiently solve a wide range of very hard problems from formal verification, biocomputing, cryptograhics, ...
