短期課程: Boolean Satisfiability - Theory and Applications (I)

短期課程:Boolean Satisfiability - Theory and Applications (I)

舉辦時間:民國105年09月24日 (六)  9:30 - 17:30 (9:10 – 9:30報到)

舉辦地點:元智大學一館 R1309

講員:國立交通大學資工系 吳凱強教授

課程大綱:

Boolean Satisfiability (SAT) 是在1970年代第一個被證明為NP-complete的問題,解決這個問題的方法在1990年代開始有突破性的發展,也因此近年來,有很多被認為是很複雜的問題,例如數獨、著色問題、邏輯驗證,在轉成SAT問題後迎刃而解。這次的課程,我們就從SAT在數獨上的應用開始,然後深入淺出至SAT的核心理論及演算法,最後再介紹幾個SAT在其他領域的重要應用。

1. Solving Sudoku with backtracking

2. Solving Sudoku with SAT, and overview of SAT

3. Theory of SAT

4. Breakthrough of SAT: backtracking (again!)

5. Other applications of SAT

 

指導單位:教育部「產業創新提升人才培育計畫」

承辦單位:元智大學資訊工程學系

聯絡人:劉一宇 03-4638800 ext.2377

元智大學一館R1309 / 中壢區遠東路135號

活動票券

票種 販售時間 售價
免費報名

2016/09/16 00:00(+0800) ~ 2016/09/23 12:00(+0800) 結束販售
  • 免費
下一步