Constraint propagation is a method for solving constraint satisfaction problem (CSP).
约束传播算法是求解约束满足问题的一种重要方法。
The constraint-based testing technique improved the test data quality but with a low solving efficiency for the constraint satisfaction problem and is not easy to find a suitable solution.
基于约束的测试技术改善了测试数据的质量,但是在处理约束满足问题时不仅效率低下,而且不易产生合的解。
应用推荐