Banyaknya kemungkinan kombinasi solusi untuk menyelesaikan masalah penjadwalan dan resource allocation, membuat permasalahan ini termasuk ke dalam NP-Hard Problems. Model penjadwalan perkuliahan yang dibahas dalam paper ini adalah menggunakan pendekatan Constraint Satisfaction Problem (CSP) dengan studi kasus penjadwalan perkuliahan di Fakultas Ilmu Komputer Universitas Indonesia (Fasilkom UI), khususnya program studi S1 Reguler. Proses penjadwalan dibagi ke dalam dua tahap, yang setiap tahapannya dimodelkan sebagai CSP. Tahap pertama menangani masalah work allocation, yaitu pemetaan mata kuliah ke dosen, sedangkan tahap kedua menangani masalah time tabling, yaitu pemetaan mata kuliah ke slot kuliah. Dari model penjadwalan perkuliahan ini, terbukti bahwa kombinasi metode CSP dengan algoritma Branch and Bound dapat menghasilkan solusi optimum dengan tetap mempertahankan konsistensi pada proses pencarian, sehingga solusi yang diperoleh memenuhi semua constraints, dan solusi tersebut dapat diperoleh dalam hitungan detik.