• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International conference on principles and practice of constraint programming >Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice
【24h】

Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice

机译：通过模型格上的蒙特卡洛搜索自动生成和简化流线型约束模型

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Streamlined constraint reasoning is the addition of unin-ferred constraints to a constraint model to reduce the search space, while retaining at least one solution. Previously it has been established that it is possible to generate streamliners automatically from abstract constraint specifications in Essence and that effective combinations of streamliners can allow instances of much larger scale to be solved. A shortcoming of the previous approach was the crude exploration of the power set of all combinations using depth and breadth first search. We present a new approach based on Monte Carlo search over the lattice of streamlined models, which efficiently identifies effective streamliner combinations.
机译：简化的约束推理是将未推断的约束添加到约束模型以减少搜索空间，同时保留至少一个解决方案。以前已经确定，有可能从Essence中的抽象约束规范自动生成流线，而流线的有效组合可以解决更大比例的实例。以前方法的一个缺点是使用深度和广度优先搜索对所有组合的幂集进行了粗略的探索。我们提出了一种基于蒙特卡罗搜索的流线型模型网格的新方法，该方法可以有效地识别有效的流线型组合。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号