Create an Account
username: password:
 
  MemeStreams Logo

Sudoku as a SAT problem

search

Acidus
Picture of Acidus
My Blog
My Profile
My Audience
My Sources
Send Me a Message

sponsored links

Acidus's topics
Arts
Business
Games
Health and Wellness
Home and Garden
Miscellaneous
Current Events
Recreation
Local Information
Science
Society
Sports
Technology

support us

Get MemeStreams Stuff!


 
Sudoku as a SAT problem
Topic: Technology 9:50 pm EST, Jan 22, 2008

Sudoku is a very simple and well-known puzzle that has achieved international popularity
in the recent past. This paper addresses the problem of encoding Sudoku puzzles into conjunctive
normal form (CNF), and subsequently solving them using polynomial-time propositional
satisfiability (SAT) inference techniques.

Sudoku isn't the only thing that you can use a SAT solver on ;-) Luckily I wrote a SAT Solver in college which uses a modified DLPP algorithm with back propagation and some heavy preprocessing for initial value selection.

Sudoku as a SAT problem



 
 
Powered By Industrial Memetics
RSS2.0