Generating and Solving Logic Puzzles through Constraint Satisfaction.

Barry O'Sullivan, John Horan

Browse the full AAAI paper archive.