Lexicographically-ordered constraint satisfaction problems. - Eugene C. Freuder; Robert Heffernan; Richard J. Wallace; Nic Wilson (Constraints An Int. J., 2010)