SAT as a game

11/03/2015

∙

by   Olivier Bailleux, et al.

∙

0

∙

share

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.