When Do Bounds and Domain Propagation Lead to the Same Search Space

机译：边界和域传播何时导致相同的搜索空间

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper explores the question of when two propagation-based constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bounds propagators for primitive constraints, and provide theorems that allow us to determine propagation behaviours for conjunctions of constraints. We then show how we can use this to analyse CLP(FD) programs to determine when we can safely replace domain propagators by more efficient bounds propagators without increasing search space.

机译：本文从搜索空间的角度探讨了两个基于传播的约束系统何时具有相同行为的问题。我们将域和边界传播者的行为归类为原始约束，并提供定理，使我们能够确定约束合点的传播行为。然后，我们展示了如何使用它来分析CLP（FD）程序，以确定何时可以在不增加搜索空间的情况下用更有效的边界传播器安全地替换域传播器。

著录项

来源
《3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), Sep 5-7, 2001, Florence, Italy》|2001年|p.115-126|共12页
会议地点 Florence(IT);Florence(IT)
作者
Christian Schulte; Peter J. Stuckey;
展开▼
作者单位

Programming Systems Lab Universitaet des Saarlandes, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
constraint (logic) programming; finite domain constraints; bounds propagation; domain propagation; abstract interpretation; program analysis;

机译：约束（逻辑）编程；有限域约束；边界传播；域传播；抽象解释；程序分析;

相似文献

外文文献
中文文献
专利

1. When Do Bounds and Domain Propagation Lead to the Same Search Space? [J] . CHRISTIAN SCHULTE, PETER J. STUCKEY ACM Transactions on Programming Languages and Systems . 2005,第3期

机译：边界和域传播何时会导致相同的搜索空间？
2. SHARP UPPER BOUND FOR THE FIRST NON-ZERO NEUMANN EIGENVALUE FOR BOUNDED DOMAINS IN RANK-1 SYMMETRIC SPACES [J] . Aithal AR., Santhanam G. Transactions of the American Mathematical Society . 1996,第10期

机译：RANK-1对称空间中有界域的第一个非零Neumann特征值的锐利上界。
3. Norms of multiplication operators on Hardy spaces and weighted composition operators from Hardy spaces to weighted-type spaces on bounded symmetric domains [J] . Stevi? S. Applied mathematics and computation . 2010,第6期

机译：Hardy空间上的乘法算子和有界对称域上从Hardy空间到加权类型空间的加权合成算子的范数
4. When do bounds and domain propagation lead to the same search space [C] . Christian Schulte, Peter J. Stuckey ACM SIGPLAN international conference on Principles and practice of declarative programming . 2001

机译：边界和域传播何时会导致相同的搜索空间
5. Moduli space of bounded complete Reinhardt domains and complex plateau problem. [D] . Du, Rong. 2009

机译：有界完整Reinhardt域的模量空间和复杂的高原问题。
6. Mapping bound plasmon propagation on a nanoscale stripe waveguide using quantum dots: influence of spacer layer thickness [O] . Chamanei S Perera, Alison M Funston, Han-Hao Cheng, 2015

机译：使用量子点在纳米带状波导上映射束缚等离激元传播：间隔层厚度的影响
7. When do bounds and domain propagation lead to the same search space? [O] . orcid:0000-0003-2186-0459, Schulte, C, Stuckey, PJ 2005

机译：什么时候边界和域传播会导致相同的搜索空间？

When Do Bounds and Domain Propagation Lead to the Same Search Space

摘要

著录项

相似文献

相关主题

期刊订阅