Logic for fun : solving puzzles with SAT solvers

• 主要作者: Foo, Zhong Xian
• 其他作者: Alwen Fernanto Tiu
• 格式: Final Year Project
• 語言: English
• 出版: 2016
• 主題: DRNTU::Engineering::Computer science and engineering::Computing methodologies::Symbolic and algebraic manipulation
• 在線閱讀: http://hdl.handle.net/10356/66900

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...