A SAT-based Sudoku Solver Tjark Weber LPAR’05, December 3rd, 2005

First Page		Document Content
Date: 2005-11-29 11:04:14 Logic puzzles Sudoku Recreational mathematics Abstract strategy games NP-complete problems Mathematics Logic		A SAT-based Sudoku Solver Tjark Weber LPAR’05, December 3rd, 2005 Add to Reading List Source URL: user.it.uu.se Download Document from Source Website File Size: 657,67 KB Share Document on Facebook