We gratefully acknowledge support from
the Simons Foundation and member institutions.

Curtis Bright and Vijay Ganesh are qualified to endorse.

Effective problem solving using SAT solvers

Curtis Bright: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CC, cs.CR, cs.DM, cs.FL, cs.IT, cs.LO, cs.SC, math.CO, math.IT, math.NT, math.OC. (why?)
Vijay Ganesh: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LO, cs.SE. (why?)

Jürgen Gerhard and Ilias Kotsireas are not registered as owners of this paper. (why?)