1CSP变量、域与约束建模
闭卷重建CSP变量、域与约束建模的对象、公式、算例、算法与失败边界。
人工智能基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2回溯搜索
闭卷重建回溯搜索的对象、公式、算例、算法与失败边界。
3前向检查
闭卷重建前向检查的对象、公式、算例、算法与失败边界。
4弧一致与AC-3
闭卷重建弧一致与AC-3的对象、公式、算例、算法与失败边界。
5MRV、Degree与LCV
闭卷重建MRV、Degree与LCV的对象、公式、算例、算法与失败边界。
6局部搜索与Min-Conflicts
闭卷重建局部搜索与Min-Conflicts的对象、公式、算例、算法与失败边界。
7调度、软约束与可满足性证据
闭卷重建调度、软约束与可满足性证据的对象、公式、算例、算法与失败边界。