Towards "Propagation = Logic + Control"

约束传播算法实现逻辑推理。为了效率，必须控制是否以及以何种顺序执行基本推理步骤。我们提供了一个高层次框架，清晰地区分了控制传播所需的信息与用于复杂约束（由原始约束组成）逻辑语义所需的信息。我们通过展示该受控传播框架能捕捉手动设计的传播算法背后的原则来论证其合适性，例如用于单元子句传播的文字监视和 lexicographic 排序约束。我们提供了实现和基准测试结果，表明该框架在实用性和效率方面都具有优势。