Comments on: Sudoku as a SAT problem http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/ Eli Bendersky's personal website Thu, 04 Dec 2008 02:38:29 +0000 http://wordpress.org/?v=2.6.2 By: eliben http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-129503 eliben Fri, 05 Sep 2008 05:25:52 +0000 http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-129503 Loi, Start with Wikipedia: http://en.wikipedia.org/wiki/Boolean_satisfiability_problem Loi,

Start with Wikipedia: http://en.wikipedia.org/wiki/Boolean_satisfiability_problem

]]> By: Loi http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-129316 Loi Thu, 04 Sep 2008 08:38:32 +0000 http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-129316 can u give a good reference for satisfiability problem? this is because i have to report for this and i want to have a thorough understanding on it first can u give a good reference for satisfiability problem?
this is because i have to report for this and i want to have a thorough understanding on it first

]]> By: I like sudoku http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-80245 I like sudoku Wed, 24 Oct 2007 04:17:18 +0000 http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-80245 Sudoku is very funny Sudoku is very funny

]]> By: eliben http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-50294 eliben Wed, 25 Apr 2007 19:37:28 +0000 http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-50294 Phil, I don't implement the resolution in my SAT solving code, because the data structure I currently use makes it very inefficient. My SAT solving code is trivial, and the data structure is trivial - a mere array of arrays. Real SAT solvers keep separate track for each literal of its appearances. Then, resolution can be actually applied efficiently. Phil,

I don’t implement the resolution in my SAT solving code, because the data structure I currently use makes it very inefficient. My SAT solving code is trivial, and the data structure is trivial - a mere array of arrays. Real SAT solvers keep separate track for each literal of its appearances. Then, resolution can be actually applied efficiently.

]]> By: Phil http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-50289 Phil Wed, 25 Apr 2007 18:39:09 +0000 http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-50289 Looking at the code, where do you perform the rule 3 resolution? Looking at the code, where do you perform the rule 3 resolution?

]]> By: sick_oscar http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-48446 sick_oscar Sun, 08 Apr 2007 10:23:23 +0000 http://eli.thegreenplace.net/2007/04/08/sudoku-as-a-sat-problem/#comment-48446 very good point! very good point!

]]>