Effective problem solving using SAT solvers

Curtis Bright, Jürgen Gerhard, Ilias Kotsireas +1

In this article we demonstrate how to solve a variety of problems and puzzles using the built-in SAT solver of the computer algebra system Maple. Once the problems have been encode…