Skip to content
STIMSMITH

Sudoku Constraint Solving

Technique
First seen 7/14/2026
Last seen 7/14/2026
Evidence 5 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

5 connections
Performance of a SystemVerilog Sudoku Solver with VCS ← uses 100% 2e
The paper uses Sudoku constraint solving as a benchmark methodology.
Sudoku Solver SystemVerilog Test Bench ← implements 100% 2e
The SystemVerilog test bench implements Sudoku constraint solving.
Latin Square implements → 100% 1e
Sudoku constraint solving implements the Latin square mathematical model.
Conjunctive Normal Form (CNF) uses → 100% 1e
Sudoku constraint solving uses CNF as the formula structure for the constraint solver.
SAT Solving uses → 90% 1e
Sudoku constraint solving employs SAT solving techniques.