检索结果-内蒙古大学图书馆

Applying ad-hoc global constraints with the case constraint to still-life

constraintS 2006年第2-3期11卷 91-114页

作者： Cheng, Kenil C. K. Yap, Roland H. C. Natl Univ Singapore Sch Comp Singapore 117548 Singapore

The Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this paper, we show how ad hoc global case constraints can be customized to construct various models to provide much stronger propagation with CP solvers. Since we use custom ad hoc constraints of high arity where the number of tuples to define the constraint are large, the actual constraint representation becomes important to avoid excessive space consumption. We demonstrate how to use BDDs to construct good representations for the case constraint which is critical for efficiency. Our results seem comparable to hybrid CP/IP models even though we are only using propagation albeit on ad hoc global constraints. This paper shows an extensive example of how to systematically build models using different kinds of ad hoc constraints. It also demonstrates the solving potential of ad hoc global constraints.

关键词： modeling binary decision diagram still-life problem ad-hoc constraint non-binary constraint

来源：评论

学校读者我要写书评

暂无评论

Applying ad-hoc global constraints with the case constraint to still-life

Applying ad-hoc global constraints with the case constraint ...

引用

11th International Conference on Principles and Practice of constraint Programming (CP 2005)

作者： Cheng, Kenil C. K. Yap, Roland H. C. Natl Univ Singapore Sch Comp Singapore 117548 Singapore

关键词： modeling binary decision diagram still-life problem ad-hoc constraint non-binary constraint

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：