I'm a great puzzle fan, but once I understand the general way to solve a puzzle, I no longer find it interesting.
Sudoku is just a formal version of "who owns the zebra?", which I wrote a program to solve a number of years back. It occurred to me that one might approach this using a Description Logic reasoner, but I didn't bother to do it. Good thing - My buddy Aditya from the University of Maryland already did it.
no subject
Date: 2006-06-04 01:11 am (UTC)Sudoku is just a formal version of "who owns the zebra?", which I wrote a program to solve a number of years back. It occurred to me that one might approach this using a Description Logic reasoner, but I didn't bother to do it. Good thing - My buddy Aditya from the University of Maryland already did it.