一种求解混合约束问题的快速完备算法

布尔与数值变量相混合的约束问题有着广泛的应用，但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的，即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题，提出了数值与区间分析相结合进行数值约束求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明，该方法能够有效、快速、完备地求解非线性混合约束问题.

An Efficient and Complete Method f or Solving Mixed Constraints

Constraints involving Boolean and numerical variables are used widely, but are difficult to solve especially when they contain nonlinear numerical expressions. Many existing methods for solving such constraints are incomplete. A new method is presented in this paper to solve Boolean combinations of the nonlinear numerical constraints completely. This method combines the numerical methods and interval analysis together. It has been implemented in a prototype tool, and some experiments are made. The experimental results show that this method is effective, efficient, and complete.