Integrating Standard Dependency Schemes in QCSP Solvers

确定的限制满足问题(QCSP ) 与通用量词和存在量词是对限制满足问题(CSP ) 的扩展。在这份报纸，我们使用订启发规则的变量并且在 QCSP 解答者集成标准相关性计划。这种技术能帮助决定下一个变量在解决的 QCSP 被分配。我们也介绍一个新因素进订启发规则的变量：变量 dep 是取决于它的变量的数字。这个因素代表为要分配的下一个变量得到更多的候选人的概率。试验性的结果显示出与标准相关性计划订启发规则的那个变量，新因素 dep 能改进 QCSP 解答者的表演。