Constraint programming and hybrid formulations for three life designs

DOI10.1023/B:ANOR.0000032569.86938.2fzbMath1156.90471OpenAlexW1991080235MaRDI QIDQ1876528

Michael A. Trick, Robert A. Bosch

Publication date: 20 August 2004

Published in: Annals of Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:anor.0000032569.86938.2f

zbMATH Keywords

integer programmingcellular automataconstraint programminghybrid formulationgame of Life

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Integer programming (90C10) Nonlinear programming (90C30) Cellular automata (computational aspects) (68Q80)

Related Items (8)

Designing Game of Life mosaics with integer programming ⋮ Offsetting inventory replenishment cycles ⋮ Applying ad-hoc global constraints with the case constraint to still-life ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Symmetry in Gardens of Eden ⋮ Generating custom propagators for arbitrary constraints ⋮ A complete solution to the maximum density still life problem ⋮ Evaluating ASP and commercial solvers on the CSPLib

This page was built for publication: Constraint programming and hybrid formulations for three life designs