Академический Документы
Профессиональный Документы
Культура Документы
I.
Nansuke Solver
Slitherlink Solver
Documents
Lectures and other
documents from the
Lecturer
Nikoli.com
Notes
Keywords: Sudoku puzzle, sudoku
solver, sat encoding for sudoku
Requirements: 01 presentation
(slides), 01 report, and 01 program
satisfied that:
http://www.mennesk 1. Get an input format for a sudoku
e.no/sudoku/eng/
problem
2. Automatically generated CNF
minisat.se
form for an input sudoku
3. Solved the CNF formula by the
SAT solver Minisat
4. Representing a solution by GUI
(visualization a solution)
Lectures and other
Keywords: Nansuke puzzle,
documents from the number skeleton puzzle
Lecturer
Requirements: 01 presentation
http://www.nikoli.co (slides), 01 report, and 01 program
.jp/en/puzzles/numb satisfied that:
er_skeleton.html
1. Get an input format for a
nansuke problem
minisat.se
2. Automatically generated CNF
form for an input nansuke
3. Solved the CNF formula by the
SAT solver Minisat
4. Representing a solution by GUI
(visualization a solution)
Lectures and other
Keywords: Slitherlink puzzle, sat
documents from the encoding for slitherlink
Lecturer
Requirements: 01 presentation
http://nikoli.com/en/ (slides), 01 report, and 01 program
puzzles/slitherlink/
satisfied that:
1. Get an input format for a
minisat.se
slitherlink problem
2. Automatically generated CNF
form for an input slitherlink
3. Solved the CNF formula by the
SAT solver Minisat
4. Representing a solution by GUI
(visualization a solution)
Hitori Solver
Numberlink Solver