Japanese Puzzle as a SAT Problem.

Sachoun Park Gihwon Kwon Japanese Puzzle as a SAT Problem. 543-548 2008 SEKE conf/seke/2008 db/conf/seke/seke2008.html#ParkK08a