人工智能教案第6讲,满足条件约束问题的求解,包括基本求解策略,约束传播,一元约束,二元约束,多元约束,约束检查、回溯、适合约束求解的树结构问题