Sudoku Analysis
0.0
Site
1. Resources
1.1. Puzzles
1.2. Monster Loops
1.3. Bob Hanson
2. HDP Sudoku Notation
2.1. Rows, Columns, Cells
2.2. Ranges
2.3. Possible Values
2.4. Reasoning
3. Sudoku Algorithms/Generators/Solvers
3.1. Block/Block Exclusion
3.2. Pair, Triple, .. Detection
3.3. Coloring
4. Design
5. Hard Puzzles
6. Perl version of solver
7. Classification
7.1. Single Sudoku Analysis
7.2. Sort
7.3. Statistics
8. World’s Hardest Sudoku
8.1. Introduction
8.2. Notation
8.3. Method
8.4. Hypothesis/Disproof/Proof Chain
8.5. Harder Than Your Husband …
8.6. HDP Chain Illustrations for
World’s Hardest Sudoku
9. Satoku Matrix CSP Solver Statistics
9.1. Satoku Stats by CSP Level
9.2. Satoku Stats by HDP Level
10. Potential Hardest Sudokus
10.1. readme1910.txt
10.2. readme 1901 post.txt
10.3. readme 1512.txt
10.4. readme 1409.txt
General Index
Page
Index
A
|
B
|
C
|
D
|
I
A
Adjacency matrix
B
BCF
Blake Canonical Form
C
CNF
Conjunctive normal form
D
Disjunctive normal form
DNF
DPLL
DPLL algorithm
I
Implicant
Implicate