Sudoku
Logic-based Constraint Satisfaction Problem defined on a 9×9 grid divided into nine 3×3 subgrids.
Constraints
- Each row, column, and subgrid must contain digits 1–9 exactly once.
- Initial partial assignment must yield a unique solution via logical deduction.
AI Reasoning Context
- Serves as benchmark for Exact Reasoning and constraint propagation versus probabilistic generation.
- Highlights large-language-model limitations in systematic constraint satisfaction due to hallucination risks.
- energy-based-models provide a framework for genuine reasoning via constraint satisfaction, ensuring adherence to hard constraints without approximation errors.
- Energy-Based Models: Genuine AI Reasoning via Constraint Satisfaction, Beyond LLMs discusses EBMs as an alternative to LLMs for robust constraint-based reasoning.