課程內(nèi)容：

本課程將介紹約束編程及其在解決一系列組合問題中的應(yīng)用。課程還將介紹基礎(chǔ)技術(shù)和相關(guān)的組合優(yōu)化方法。

課程目標(biāo)：

1、使學(xué)生能夠使用最先進(jìn)的約束編程工具，對(duì)一些組合問題實(shí)施約束編程解決方案。

2、使學(xué)生對(duì)約束滿足和約束編程的基本概念有批判性的理解，并能夠與相關(guān)的搜索方法進(jìn)行比較。

3、讓學(xué)生了解和接觸約束編程的商業(yè)應(yīng)用和研究方向。

4、了解約束編程工具的基本機(jī)制。

學(xué)習(xí)成果：

通過本課程的學(xué)習(xí)，學(xué)生將能夠：

1、使用最先進(jìn)的約束編程工具，將復(fù)雜問題（如調(diào)度問題、設(shè)計(jì)和配置問題）建模為約束程序；

2、實(shí)現(xiàn)約束傳播的算法，并批判性地理解不同程度一致性的成本和收益；

3、從理論角度展示對(duì)約束滿足的廣泛、詳細(xì)和批判性的知識(shí)和理解，并能夠與其他組合方法進(jìn)行比較；

4、實(shí)施約束編程中通常使用的搜索算法；

5、使用各種變量和數(shù)值排序啟發(fā)式方法；

6、討論約束編程的當(dāng)前問題和研究方向。