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?)