Thank you. Please forgive the naiveté of my question, as I am still very new to this mode of thinking/programming. On Tue, Feb 9, 2010 at 2:09 PM, Kish Shen <kisshen_at_cisco.com> wrote: > Helmut Simonis wrote: > > >> You may want to look at my paper on Sudoku or the one on Kakuro ( >> http://4c.ucc.ie/~hsimonis <http://4c.ucc.ie/%7Ehsimonis>) 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. > > > Cheers, > > Kish > > -- > 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. > -- Alex RReceived on Tue Feb 09 2010 - 19:50:58 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET