基于约束的复合求解器分析

合作约束求解是约束编程的一个领域，研究约束求解器之间的相互作用，以发现能够放大单个求解器正面特性的相互作用模式。合作约束求解中对此类研究的自动化和形式化是一个重要问题。本文提出了一种关于复合求解器的约束-based 分析方法，该方法综合了关于单个求解器和处理数据的推理。其思想是通过解决表示所有必要属性谓词的有限集合上的集合约束来近似这种推理。我们将本分析方法应用于两个重要的合作模式：确定性选择和循环。