Based on analyzing constraint conflict, a quantified strategy for solving constraint problem is presented.

• 摘要通过对约束满足与约束冲突的分析，提出了约束求解的定量化策略。