Logic puzzle solving
8 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Logic puzzleLogic puzzle solvingPicture logic puzzleCross-sum puzzleDeduction puzzle
backtracking-cp
- Constraint propagation for SudokuNaked and hidden singlesstandardbacktracking-cp
puzzles-recreational
- Nonogram solvingLine-by-line constraint propagationstandardpuzzles-recreational
- Kakuro solvingSum-combination pruningspecialistpuzzles-recreational
- Sudoku solvingDancing links exact covercanonpuzzles-recreational
- Hashiwokakero solvingBridge-count constraint propagationspecialistpuzzles-recreational
- Slitherlink solvingLoop-constraint propagationspecialistpuzzles-recreational
- Minesweeper solvingConstraint-subset inferencestandardpuzzles-recreational
- Minesweeper solvingProbability-guided guessingspecialistpuzzles-recreational