David Binkley Bradley M. Kuhn Crozzle: an NP-complete problem. 30-34 1997 SAC http://doi.acm.org/10.1145/331697.331705 db/conf/sac/sac97.html#BinkleyK97