...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Constraints >Propagating systems of dense linear integer constraints
【24h】

Propagating systems of dense linear integer constraints

机译：密集线性整数约束的传播系统

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In interval propagation approaches to solving nonlinear constraints over reals it is common to build stronger propagators from systems of linear equations. This, as far as we are aware, is not pursued for integer finite domain propagation. In this paper we show how we use interval Gauss-Jordan elimination to build stronger propagators for an integer propagation solver. In a similar fashion we present an interval Fourier elimination preconditioning technique to generate redundant linear constraints from a system of linear inequalities. We show how to convert the resulting interval propagators into integer propagators. This allows us to use existing integer solvers. We give experiments that show how these preconditioning techniques can improve propagation performance on dense systems.
机译：在解决实际问题上的非线性约束的区间传播方法中，通常从线性方程组构建更强大的传播器。据我们所知，这不是整数有限域传播所追求的。在本文中，我们展示了如何使用区间高斯-乔丹消去法为整数传播求解器构建更强大的传播子。我们以类似的方式提出了一种区间傅里叶消除预处理技术，以从线性不等式系统生成冗余线性约束。我们展示了如何将结果区间传播器转换为整数传播器。这使我们可以使用现有的整数求解器。我们提供的实验表明这些预处理技术如何提高密集系统上的传播性能。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号