分支：约束求解的本质
摘要：任意约束满足问题的分支处理方法的研究：一种参数化的框架被提出，可以通过适当实例化参数来解决有限和无限域上的约束满足问题。本文给出了该框架的形式化规范和一些有趣的性质，对于满足一定条件的任何框架实例都成立。同时，实验证明了许多约束系统（包括合作系统）的操作程序符合这些条件。此外，通过不同参数的实例化，该框架还可以以不同的方式解决相同的约束满足问题。
作者：Antonio J. Fernandez, Patricia M. Hill
论文ID：cs/0109060
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23