Japanese Puzzle as a SAT Problem.

Sachoun Park, Gihwon Kwon

Browse the full SEKE paper archive.