短期課程：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