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.

Solution of the 8-Queens problem The n-Queens Problem

Sudoku puzzle Solving the World's Hardest Sudoku

Einstein with the text 'Who owns the fish?' Solving the Einstein Riddle

Graeco-Latin square of order 10 Finding Graeco-Latin Squares

Highlighted clique of size 4 in a graph with 20 vertices Clique Finding with SAT

Completed Sudoku puzzle Interactive Sudoku

15-puzzle instance Solving the 15-puzzle

Colouring of the 8x8 queens graph Graph Colouring with SAT