# Maple SAT Applications

The following Maple applications were written by me while working on SAT solving for Maplesoft. The reductions to SAT used in these worksheets are discussed in the paper Effective problem solving using SAT solvers.