Constraint programming to solve maximal density still life

Geoffrey Chu, Karen Elizabeth Petrie, Neil Yorke-Smith

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)


    The Maximum Density Still Life problem fills a finite Game of Life board with a stable pattern of cells that has as many live cells as possible. Although simple to state, this problem is computationally challenging for any but the smallest sizes of board. Especially difficult is to prove that the maximum number of live cells has been found. Various approaches have been employed. The most successful are approaches based on Constraint Programming (CP). We describe the Maximum Density Still Life problem, introduce the concept of constraint programming, give an overview on how the problem can be modelled and solved with CP, and report on best-known results for the problem.
    Original languageEnglish
    Title of host publicationGame of Life Cellular Automata
    EditorsAndrew Adamatzky
    Place of PublicationLondon
    Number of pages9
    ISBN (Electronic)9781849962179
    ISBN (Print)9781849962162
    Publication statusPublished - 2010

    Cite this