Sudoku adalah sebuah permainan logika, kombinatorial, dan penempatan angka.
Sudoku merupakan contoh yang bagus untuk menggambarkan masalah-masalah
kombinatorial lain. Seperti masalah kombinatorial lain, sudoku dapat dimodelkan sebagai
Constraint Satisfaction Problem (CSP) dan diselesaikan menggunakan Constraint
Programming (CP).
CP menggunakan sebuah engine solver untuk mencari solusi dari CSP yang
diberikan. Dalam CP, peran solver sangat besar pada performansi program dalam
menyelesaikan sebuah masalah. Oleh karena itu, dalam tugas akhir ini akan
diimplementasikan beberapa teknik untuk memperbaiki performansi dari sebuah solver.
Teknik-teknik tersebut adalah Forward Checking (FC), Arc-Consistency (AC), dan
Minimum Remaining Value (MRV). Constraint Programming, Solver, Sudoku, Forward Checking, Arc-