量词约束满足问题是人工智能和自动推理领域的一个重要问题.寻找多项式时间易解子类,是研究此类问题计算复杂性的关键.通过分析二......

针对产品质量特性稳健优化设计这一存在不确定因素的约束求解问题,提出一种基于量词约束满足（Quantified constraint satisfaction ......