Sciweavers

Share
CONSTRAINTS
2006

Applying Ad-hoc Global Constraints with the case Constraint to Still-Life

10 years 12 months ago
Applying Ad-hoc Global Constraints with the case Constraint to Still-Life
Abstract. 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.
Kenil C. K. Cheng, Roland H. C. Yap
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CONSTRAINTS
Authors Kenil C. K. Cheng, Roland H. C. Yap
Comments (0)
books