Constraint Programming to Solve Maximal Density Still Life

Geoffrey Chu, Karen Elizabeth Petrie, Neil Yorke-Smith. Constraint Programming to Solve Maximal Density Still Life. In Andrew Adamatzky, editor, Game of Life Cellular Automata. pages 167-175, Springer, 2010. [doi]