Ders Adı |
: |
Constraint Programming |
Ders Kodu |
: |
ISTL 5051 |
Ders
İçeriği(Türkçe) |
: |
Ders kapsam?nda k?s?t tatmin problemleri, k?s?t yay?l?m?, geri-izleme ve yerel arama yöntemleri, genel k?s?tlar, k?s?t tatmin problemleri için i?lenebilir yap?lar, k?s?t dillerin karma??kl???, yumu?ak k?s?tlar, mant?ksal k?s?t programlama, mevcut programlama dilleri için k?s?t yap?lar?, sonlu alanda k?s?t programlama sistemleri, k?s?t programlamada yöneylem ara?t?rmas? yöntemleri ve k?s?t temelli planlama ve program haz?rlama konular i?lenecektir. |
Ders İçeriği(İngilizce) |
: |
This course aims to introduce constraint satisfaction problems, constraint propagation, backtracking and local search methods, tractable structures for constraint satisfaction problems, complexity of constraint languages, soft constraints, constraint logic programming, constraint structures for available languages, finite domain constraint programming systems, operations research methods in constraint programming and constraint-based scheduling and planning topics. |
Ders Saati |
: |
Teo. Ders: |
3
|
Uyg.: |
0 |
Lab.: |
0
|
Ders Kredisi |
: |
3
|
|