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

    Back to top

    © Copyright 2025, Wolfgang Scherer.
    Created using Sphinx 1.8.5.