SAT


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

Imagine a simpler version of the n-queens problem, called n-rooks. Of course n-rooks is trivial to solve (put them all on a diagonal), but it serves as a nice lead in to doing n-queens yourself. And we'll simplify it further by doing 4-rooks instead of generic n-rooks. This just to keep the pseudo-code samples short.

Name:
Mail: (not shown)

Please type this: