A DYNAMIC METHOD OF CONTROLLING CONSTRAINT EVALUATION FOR THE CSP LOGIC PROGRAMMING

• CSP逻辑编程中一种约束评价的动态控制方法