CMU 07-280 Lecture 4 導讀：CSP、AC-3 與搜尋順序
Lecture 4 利用 variables、domains、constraints 暴露問題結構，再把 DFS 升級成 backtracking、forward checking、AC-3、MRV 與 LCV；重點是更早證明某些選擇不可能成功。
#constraint-satisfaction
2 篇文章CS188 CSP 與多代理搜尋：Minimax、Alpha-Beta、Expectimax 怎麼選
Lecture 5–8 先用 CSP 練變數、限制與搜尋順序，再由 Project 2 實作 minimax、alpha-beta 與 expectimax；三者差別在對其他 agent 行為的假設。