Back to Basics: Solving Games with SAT
Games became popular, within the formal verification community, after their application to automatic synthesis of circuits from specifications, and they have been receiving more and more attention since then. This paper focuses on coding the "Sokoban" puzzle, i.e., a very complex single-...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Stefan cel Mare University of Suceava
2016-08-01
|
Series: | Advances in Electrical and Computer Engineering |
Subjects: | |
Online Access: | http://dx.doi.org/10.4316/AECE.2016.03013 |