"Constraint Programming to Solve Maximal Density Still Life."

Geoffrey Chu, Karen Elizabeth Petrie, Neil Yorke-Smith (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics