CSP · AI Assignment · Problem 6

Sudoku CSP Solver

AC-3 Arc Consistency + Backtracking + MRV Heuristic

Load a sample puzzle:

Load a puzzle or enter numbers, then click Solve.

Solver Stats

Time —

Steps —

Backtracks —

AC-3 Fills —

Numpad

How It Works

1Variables — Each empty cell, domain {1–9}

2AC-3 — Prunes impossible values via arc consistency

3MRV — Picks the most constrained cell first

4Backtrack — Tries values, undoes on conflict

Legend

Given / Fixed

AC-3 Deduced

Backtrack Fill

Conflict