3 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
Olivier Bailleux
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…