Propagation = Lazy Clause Generation

机译：传播=懒惰子句生成

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we describe how we can mimic a finite domain propagation engine, by mapping propagators into clauses in a SAT solver. This immediately results in strong nogoods for finite domain propagation. But a na?ve static translation is impractical except in limited cases. We show how we can convert propagators to lazy clause generators for a SAT solver. The resulting system can solve scheduling problems significantly faster than generating the clauses from scratch, or using Satisfiability Modulo Theories solvers with difference logic.

机译：有限域传播求解器通过一组选择可以有效地表示变量的可能值，这些选择可以自然地建模为布尔变量。在本文中，我们描述了如何通过将传播子映射到SAT解算器中的子句中来模拟有限域传播引擎。这立即导致有限域传播的强烈干扰。但是，除少数情况外，单纯的静态翻译是不切实际的。我们展示了如何将传播器转换为SAT求解器的惰性子句生成器。与从头开始生成子句或使用具有差异逻辑的可满足性模理论求解器相比，所得的系统可以显着更快地解决调度问题。

著录项

来源
《International Conference on Principles and Practice of Constraint Programming(CP 2007); 20070923-27; Providence,RI(US)》|2007年|P.544-558|共15页
会议地点 ProvidenceRI(US)
作者
Olga Ohrimenko; Peter J. Stuckey; Michael Codish;
展开▼
作者单位

NICTA Victoria Research Lab, Department of Comp. Sci. and Soft. Eng. University of Melbourne, Australia;

Department of Computer Science, Ben-Gurion University, Israel;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类程序设计、软件工程;程序包（应用软件）;
关键词

相似文献

外文文献
中文文献
专利

1. Propagation via lazy clause generation [J] . Olga Ohrimenko, Peter J. Stuckey, Michael Codish Constraints . 2009,第3期

机译：通过延迟子句生成进行传播
2. Symmetries, almost symmetries, and lazy clause generation [J] . Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Constraints . 2014,第4期

机译：对称，几乎对称和惰性子句生成
3. Solving RCPSP/max by lazy clause generation [J] . Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Journal of Scheduling . 2013,第3期

机译：通过延迟子句生成来解决RCPSP / max
4. Propagation = Lazy Clause Generation [C] . Olga Ohrimenko, Peter J. Stuckey, Michael Codish International Conference on Principles and Practice of Constraint Programming . 2007

机译：传播= Lazy子句生成
5. System support for service availability, remote healing and fault tolerance using lazy state propagation. [D] . Sultan, Florin. 2004

机译：使用延迟状态传播的服务可用性，远程修复和容错的系统支持。
6. The Orthology Clause in the Next Generation Sequencing Era: Novel Reference Genes Identified by RNA-seq in Humans Improve Normalization of Neonatal Equine Ovary RT-qPCR Data [O] . Dragos Scarlet, Reinhard Ertl, Christine Aurich, -1

机译：下一代测序时代的矫正条款：人类中RNA-seq鉴定的新型参考基因可改善新生儿马卵巢RT-qPCR数据的标准化
7. Propagation via lazy clause generation [O] . orcid:0000-0003-2186-0459, Ohrimenko O, Stuckey PJ, 2009

机译：通过延迟子句生成进行传播

Propagation = Lazy Clause Generation

摘要

著录项

相似文献

相关主题

期刊订阅