约束满足系统

人工智能与运筹学中的一类问题求解框架，通过定义变量、域和约束条件来寻找满足所有约束的可行解，常与概率模型结合用于构建混合决策系统