Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

SAT Solver Challenge

17 views
Skip to first unread message

burs...@gmail.com

unread,
Oct 19, 2017, 6:23:09 PM10/19/17
to
Dear All,

Was looking for a black-white coloring
problem. Anybody ready for a SAT formulation
of the Kochen-Specker paradox?

Bye
0 new messages