SAT as a game
arXiv:1511.00813v1
Originality Synthesis-oriented
AI Analysis
This is an incremental approach aimed at education and heuristic inspiration in computational logic.
The authors propose a playful representation of the SAT problem for pedagogical purposes, with potential to inspire new search heuristics.
We propose a funny representation of SAT. While the primary interest is to present propositional satisfiability in a playful way for pedagogical purposes, it could also inspire new search heuristics.