Linked from

The 21 pages that link to Constraint satisfaction problem, each with the reason it gives.

• Propositional logicRelated: Many finite constraint problems can be translated into propositional satisfiability.

• Procedural generationRelated: Constraints help generated rooms, tiles, or objects fit together validly.

• Combinatorial optimizationRelated: Optimization often extends constraint satisfaction by ranking feasible assignments with an objective.

• BacktrackingNarrower topic: Many backtracking tasks are constraint satisfaction problems solved by assigning variables incrementally.

• SatisfiabilityRelated: SAT is a Boolean constraint satisfaction problem, and many constraint problems can be encoded as SAT.

• EquationRelated: Systems of equations can serve as constraints on unknown values.

• Recreational mathematicsRelated: Sudoku and logic puzzles are accessible instances of a widely used problem framework.

• BottleneckNarrower topic: A bottleneck is one practical form of a binding constraint within a larger system.

• Universal algebraRelated: Algebraic operations of constraint languages can reveal tractability and complexity.

• Declarative programmingRelated: Constraint-based programs state conditions on acceptable solutions for a solver to satisfy.

• SudokuNarrower topic: Sudoku is naturally represented as variables for cells constrained by units and clues.

• Graph homomorphismNarrower topic: Finding a homomorphism is a constraint satisfaction problem with vertices as variables and edges as constraints.

• Mathematical puzzleRelated: Many puzzles can be expressed directly as finite constraint systems.

• Jigsaw puzzleNarrower topic: Each placement limits which neighboring placements remain possible.

• Magic squareRelated: Filling a magic square can be formulated as assigning values under equal-sum constraints.

• Brain teaserNarrower topic: Many teasers can be formalized as finding an assignment that satisfies every rule.

• NonogramNarrower topic: Every row and column imposes constraints on shared cell values.

• Geometry (configuration)Related: Geometric constraints can specify which configurations are possible.

• Mahjong solitaireRelated: A solver must choose legal pairs while respecting exposure and matching constraints.

• Peg solitaireRelated: A target position can be tested against the constraints imposed by legal jumps.

• Wordle (word game)Related: Every tile's feedback adds constraints to the remaining candidate words.