Re: [eclipse-clp-users] Guess Free Solution

From: Kish Shen <kisshen_at_...5...>
Date: Tue, 09 Feb 2010 19:09:30 +0000
Helmut Simonis wrote:

> You may want to look at my paper on Sudoku or the one on Kakuro  ( to see how you can strengthen a model to deduce more and more information without search. Unfortunately, this works very well on puzzles, but not so well on other problem types.

I should add that since writing that paper, Helmut have added various 
global constraints to ECLiPSe, and some of these allow you to do more 
propagation for Sudoku than before, for example, alldifferent_matrix.



This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Tue Feb 09 2010 - 19:09:46 CET

This archive was generated by hypermail 2.3.0 : Sun Aug 25 2019 - 06:15:50 CEST