A complete solution to the maximum density still life problem

DOI10.1016/J.ARTINT.2012.02.001MaRDI QIDQ1761276zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Geoffrey Chu, Peter J. Stuckey

Publication date 15 November 2012

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2012.02.001

zbMATH Keywords

combinatorial optimizationdynamic programmingconstraint programmingsearch

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Search theory (90B40) Combinatorial optimization (90C27) Dynamic programming (90C39) Combinatorial games (91A46)

Recommendations

• scientific article; zbMATH DE number 1516558
• Maximum density stable patterns in variants of Conway's game of Life
• Constraint programming and hybrid formulations for three life designs
• Applying ad-hoc global constraints with the case constraint to still-life
• Designing Game of Life mosaics with integer programming

Cites work

• scientific article; zbMATH DE number 3126094 (Why is no real title available?)
• scientific article; zbMATH DE number 1516558 (Why is no real title available?)
• scientific article; zbMATH DE number 2243387 (Why is no real title available?)
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Caching Search States in Permutation Problems
• Constraint programming and hybrid formulations for three life designs
• Integer Programming and Conway's Game of Life
• Propagation via lazy clause generation

Cited in

(7)

• Designing Game of Life mosaics with integer programming
• Applying ad-hoc global constraints with the case constraint to still-life
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• scientific article; zbMATH DE number 7350751 (Why is no real title available?)
• Maximum density stable patterns in variants of Conway's game of Life
• Constraint programming and hybrid formulations for three life designs
• scientific article; zbMATH DE number 1516558 (Why is no real title available?)

Describes a project that uses

Uses Software

• MiniZinc

This page was built for publication: A complete solution to the maximum density still life problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1761276)