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.
from cs.AI updates on arXiv.org http://ift.tt/1MxClMf
via IFTTT
No comments:
Post a Comment