FAQ   Search   Memberlist   Usergroups   Register   Profile   Log in          Games  Calendar Log in to check your private messages    Representing sudoku as a SAT          Sudoku Programmers Forum Index -> Programming sudoku View previous topic :: View next topic   Author Message bhavina Joined: 23 Feb 2008 Posts: 6 : Items Posted: Sat Mar 29, 2008 4:14 pm    Post subject: Representing sudoku as a SAT Can anyone help with representing the sudoku problem as a SAT problem? I am doing a project and want to show that you can represent the SP in different ways. Where does QCP fit in all this? Is graph colouring problem another way of representing the sudoku problem. Thank you. Back to top gsf Joined: 18 Aug 2005 Posts: 411 : Location: NJ USA Items Posted: Sat Mar 29, 2008 5:43 pm    Post subject: Re: Representing sudoku as a SAT bhavina wrote: Can anyone help with representing the sudoku problem as a SAT problem? I am doing a project and want to show that you can represent the SP in different ways. Where does QCP fit in all this? Is graph colouring problem another way of representing the sudoku problem. Thank you. google the programmer's and player's forums and look for posts ~2005 involving dukosu Back to top Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First         Sudoku Programmers Forum Index -> Programming sudoku All times are GMT Page 1 of 1   Jump to: Select a forum Sudoku----------------Solving sudokuSetting sudokuProgramming sudokuThe mathematics of sudokuExotic sudoku Library----------------PuzzlesSoftwareSudoku elsewhere Not sudoku----------------Random thoughtsForum feedback  You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum   Powered by phpBB © 2001, 2005 phpBB Group Igloo Theme Version 1.0 :: Created By: Andrew Charron