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