| proposed by | Toby Walsh tw@cs.york.ac.uk |
Warwick Harvey writes that the instances of this problem on Thinks.com's website are not particularly interesting from a constraint programming point of view. They are designed to be solvable by humans with no guesswork, without requiring particularly sophisticated reasoning; thus it can be expected that in most modern constraint systems, everything is already ground by the time all the constraints have been added. This means no labelling required, and no search. It should be possible to create more interesting instances of these problems by either using less dense layouts (fewer overlaps between numbers), fewer clues, or less helpful clues (such as inequalities).