约束推理

基于逻辑规则和限制条件推导变量状态或系统行为的方法