Logic for fun : solving puzzles with SAT solvers

• Main Author: Foo, Zhong Xian
• Other Authors: Alwen Fernanto Tiu
• Format: Final Year Project
• Language: English
• Published: 2016
• Subjects: DRNTU::Engineering::Computer science and engineering::Computing methodologies::Symbolic and algebraic manipulation
• Online Access: http://hdl.handle.net/10356/66900
• Institution: Nanyang Technological University

Over the years, SAT solvers have become more and more powerful; able to solve Boolean formulas with huge amounts of literals and clauses, and have seen more applications in recent technology. Decision puzzles, puzzles where one move affects subsequent moves, usually take a long time to solve using t...