Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.

Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski

Browse the full JELIA paper archive.