SAT


Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

Imagine a logic puzzle, involving a dinner party. 26 people are seated around a table. 7 were served soup. How do you express this constraint in CNF?

Name:
Mail: (not shown)

Please type this: