Penjadwalan secara otomatis merupakan satu persoalan yang telah
diteliti sejak lama dalam ilmu komputer. Berbagai algoritma dan metode telah
diteliti dan dikembangkan oleh pakar untuk memecahkan permasalahan
otomatisasi penjadwalan tersebut. Salah satu algoritma yang dikembangan dan
cukup hangat dibicarakan adalah metode constraint satisfaction. Algoritma ini
patut dipertimbangkan karena memiliki beberapa keunggulan dibandingkan
dengan algoritma lainnya, antara lain outputnya singkat, programnya sederhana,
dan sangat mungkin untuk bereksperimen mendapatkan penyelesaian dengan
program terbaik (efisien) dan waktu komputasi tercepat
Pada penelitian ini penulis membuat suatu penjadwalan mengajar guru dengan menggunakan metode constraint satisfaction. Secara spesifik, penelitian kali ini difokuskan pada pembuatan algoritma pembentukan constraint satisfaction
problem dan perumusan algoritma pencarian solusi.
Penelitian ini telah memberikan rumusan pemecahan masalah constraint
satisfaction problem yang nantinya dapat dilanjutkan dengan implementasi pada
perangkat lunak.