13 citations · 29 across the 10 of their papers we have counts for
1 paper · 2 filters
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…