next up previous
Next: The competition framework

SAT 2003: the competition strikes back!

Daniel Le Berre

Laurent Simon

Abstract:

One year after the first SAT competition of the 21st century[25], a new competition was organized. It was not clear if one year would be sufficient to show significant progress in the area. Incredibly, several 2003 competitors were able to solve within 15mn instances remained unsolved within 6 hours by state-of-the-art SAT solvers during the previous competition.





LE BERRE Daniel 2003-05-02