Building a puzzle games solver using SAT solver

• Main Author: Nguyen Hung, Thai
• Other Authors: Alwen Fernanto Tiu
• Format: Final Year Project
• Language: English
• Published: 2017
• Subjects: DRNTU::Engineering::Computer science and engineering::Computing methodologies::Artificial intelligence
• Online Access: http://hdl.handle.net/10356/70184
• Institution: Nanyang Technological University

Solving puzzles such as Sudoku or The Eight Queens has long been a fascinating activity. In the last few decades, the birth of computer has played a significant role in exploring those puzzles; moreover, complete strategies for some of them has been found. Nonetheless, more complex puzzles which hav...