bibliography.bib

@article{BC98,
	journal = {Experimental Mathematics},
	author = {David J.~Buckingham and Paul B.~Callahan},
	title = {Tight bounds on periodic cell configurations in {L}ife},
	year = {1998},
	volume = {7},
	number = {3},
	pages = {221--241}
}

@inbook{BCG82,
	author = {Elwyn R.~Berlekamp and John H.~Conway and Richard K.~Guy},
	title = {Winning Ways for Your Mathematical Plays, volume 2: Games in Particular},
	year = {1982},
	chapter = {25},
	publisher = {Academic Press}
}

@article{Bos99,
	journal = {SIAM Review},
	author = {Robert A.~Bosch},
	title = {Integer programming and {C}onway's game of {L}ife},
	year = {1999},
	volume = {41},
	number = {3},
	pages = {596--604}
}

@article{BT04,
	journal = {Annals of Operations Research},
	author = {Robert A.~Bosch and Michael Trick},
	title = {Constraint Programming and Hybrid Formulations for	Three Life Designs},
	year = {2004},
	volume = {130},
	pages = {41--56}
}

@article{CS12,
	journal = {Artificial Intelligence},
	author = {Geoffrey Chu and Peter J.~Stuckey},
	title = {A complete solution to the {M}aximum {D}ensity {S}till {L}ife {P}roblem},
	year = {2012},
	volume = {184},
	pages = {1--16}
}

@inproceedings{CSB09,
	author       = {Geoffrey Chu and Peter J.~Stuckey and Maria Garcia de la Banda},
	title        = {Using Relaxations in Maximum Density Still Life},
	year         = 2009,
	booktitle    = {Proceedings of the Fifteenth International Conference on Principles and Practice of Constraint Programming},
	pages        = {258-273}
}

@inbook{Coo03,
	booktitle = {New Constructions in Cellular Automata},
	series = {Santa Fe Institute Studies in the Sciences of Complexity},
	author = {Matthew Cook},
	title = {Still life theory},
	year = {2003},
	publisher = {Oxford University Press},
	pages = {93--118}
}

@incollection{Elk98,
	series = {Proceedings of the Institute of Mathematics of the National Academy of Sciences of Ukraine},
	booktitle = {Vorono\"{i}'s Impact on Modern Science, Book I},
	author = {Noam D.~Elkies},
	title = {The still-life density problem and its generalizations},
	publisher = {Institute of Mathematics},
	year = {1998},
	volume = {21},
	pages = {228--253}
}

@incollection{Epp02,
	series = {MSRI Publications},
	booktitle = {More Games of No Chance},
	publisher = {Cambridge University Press},
	author = {David Eppstein},
	title = {Searching for spaceships},
	year = {2002},
	volume = {42},
	pages = {433--453}
}

@misc{Fla94,
	author = {Achim Flammenkamp},
	title = {Natural grown Oscillators out of Random Soup},
	year = {1994},
	howpublished = {\url{http://wwwhomes.uni-bielefeld.de/achim/oscill.html}},
	note = {[Online; accessed Dec. 16, 2021]}
}

@misc{Fla04,
	author = {Achim Flammenkamp},
	title = {Frequency of {G}ame of {L}ife objects in settled random areas},
	year = {2004},
	howpublished = {\url{http://wwwhomes.uni-bielefeld.de/achim/freq_top_life.html}},
	note = {[Online; accessed Dec. 16, 2021]}
}

@article{Gar70,
	journal = {Scientific American},
	author = {Martin Gardner},
	title = {The fantastic combinations of {J}ohn {C}onway’s new solitaire game ``life''},
	year = {1970},
	volume = {223},
	pages = {120--123}
}

@article{Gar71,
	journal = {Scientific American},
	author = {Martin Gardner},
	title = {On Cellular Automata, Self-Reproduction, The {G}arden of {E}den and the Game of ``Life''},
	year = {1971},
	volume = {224},
	pages = {112--117}
}

@book{Gar83,
	title={Wheels, Life, and Other Mathematical Amusements},
	author={Martin Gardner},
	isbn={9780716715894},
	year={1983},
	publisher={W.~H.~Freeman and Company}
}

@article{Hed69,
	journal = {Mathematical Systems Theory},
	author = {Gustav A.~Hedlund},
	title = {Endomorphisms and Automorphisms of the Shift Dynamical Systems},
	year = {1969},
	volume = {3},
	pages = {320--375}
}

@book{Pou85,
	title={The Recursive Universe},
	author={William Poundstone},
	year={1985},
	publisher={William Morrow and Company Inc.}
}

@article{Nie79,
	title={Life Algorithms}, journal={Byte}, author={Mark D.~Niemiec}, year={1979},
	volume = {4},
	number = {1},
	pages = {90--97},
}

@article{Gib06,
	author = {Jeremy Gibbons},
	title = {Unbounded Spigot Algorithms for the Digits of Pi},
	journal = {The American Mathematical Monthly},
	volume = {113},
	number = {4},
	pages = {318--328},
	year  = {2006}
}

@article{Gos84,
	author = {R.~William Gosper},
	title = {Exploiting Regularities in Large Cellular Spaces},
	journal = {Physica},
	volume = {10D},
	pages = {75--80},
	year  = {1984}
}

@incollection{Gou10,
	chapter = {25},
	booktitle = {Game of Life Cellular Automata},
	publisher = {Springer London},
	author = {Adam P.~Goucher},
	title = {Universal Computation and Construction in {G}o{L} Cellular Automata},
	year = {2010},
	pages = {505--518}
}

@article{Har74,
	journal = {Revue française d'automatique, informatique, recherche opérationnelle},
	author = {Jean Hardouin--Duparc},
	title = {Paradis terrestre dans l'automate cellulaire de {C}onway},
	year = {1974},
	volume = {8},
	pages = {63--71}
}

@article{HHKN11,
	journal = {The Electronic Journal of Combinatorics},
	author = {Christiaan Hartman and Marijn~J.~H.~Heule and Kees Kwekkeboom and Alain Noels},
	title = {Symmetry in {G}ardens of {E}den},
	year = {2013},
	volume = {20},
	number = {3},
	pages = {P16}
}

@article{LMN05,
	journal = {Journal of Artificial Intelligence Research},
	author = {Javier Larrosa and Enric Morancho and David Niso},
	title = {On the Practical use of Variable Elimination in Constraint Optimization Problems: `Still-life’ as a Case Study},
	year = {2005},
	volume = {23},
	pages = {421--440}
}

@article{Moo62,
	journal = {Proceedings of Symposia in Applied Mathematics},
	author = {Edward F.~Moore},
	title = {Machine models of self-reproduction},
	year = {1962},
	volume = {14},
	pages = {17--33}
}

@article{Myh63,
	journal = {Proceedings of the American Mathematical Society},
	author = {John Myhill},
	title = {The converse of {M}oore's {G}arden-of-{E}den theorem},
	year = {1963},
	volume = {14},
	pages = {685--686}
}

@incollection{Nie03,
	booktitle = {New Constructions in Cellular Automata},
	publisher = {Oxford University Press, London},
	author = {Mark D.~Niemiec},
	title = {Synthesis of complex {L}ife objects from gliders},
	year = {2003},
	pages = {55--78}
}

@incollection{Nie10,
	chapter = {8},
	booktitle = {Game of Life Cellular Automata},
	publisher = {Springer London},
	author = {Mark D.~Niemiec},
	title = {Object Synthesis in {C}onway’s {G}ame of {L}ife and Other Cellular Automata},
	year = {2010},
	pages = {115--134}
}

@article{Wain74,
	journal = {Proceedings of the 7th conference on Winter simulation},
	author = {Robert T.~Wainwright},
	title = {Life is universal!},
	year = {1974},
	volume = {2},
	pages = {449--459}
}

@misc{Okr03,
	author = {Andrzej Okrasinski},
	title = {Andrzej {O}krasinski's website dedicated to the {G}ame of {L}ife},
	year = {2003},
	howpublished = {\httpurl{web.archive.org/web/20091027025324/http://geocities.com/conwaylife/}},
	note = {[Online; archived from the original and accessed Dec. 16, 2021]}
}

@book{RenBook,
	Author = {Paul Rendell},
	Title = {Turing Machine Universality of the {G}ame of {L}ife},
	Year = {2016},
	Publisher = {Springer International Publishing},
	ISBN = {978-3-319-19841-5}
}

@misc{A019473,
	author = {Neil J.~A.~Sloane},
	title = {Sequence {A019473} in \emph{{T}he {O}n-{L}ine {E}ncyclopedia of {I}nteger {S}equences}},
	year = {1996},
	howpublished = {\httpsurl{oeis.org/A019473}},
	note = {Number of stable $n$-celled patterns (``still lifes'') in Conway's Game of Life, up to rotation and reflection. [Online; accessed Dec. 16, 2021]}
}

@misc{A046932,
	author = {Neil J.~A.~Sloane},
	title = {Sequence {A046932} in \emph{{T}he {O}n-{L}ine {E}ncyclopedia of {I}nteger {S}equences}},
	year = {1999},
	howpublished = {\httpsurl{oeis.org/A046932}},
	note = {$a(n) =$ period of $x^n + x + 1$ over $GF(2)$, i.e., the smallest integer $m>0$ such that $x^n + x + 1$ divides $x^m + 1$ over $GF(2)$. [Online; accessed July 28, 2018]}
}

@misc{A056613,
	author = {Neil J.~A.~Sloane},
	title = {Sequence {A056613} in \emph{{T}he {O}n-{L}ine {E}ncyclopedia of {I}nteger {S}equences}},
	year = {2000},
	howpublished = {\httpsurl{oeis.org/A056613}},
	note = {Number of $n$-celled pseudo still lifes in Conway's Game of Life, up to rotation and reflection. [Online; accessed Dec. 16, 2021]}
}

@misc{A196447,
	author = {Neil J.~A.~Sloane},
	title = {Sequence {A196447} in \emph{{T}he {O}n-{L}ine {E}ncyclopedia of {I}nteger {S}equences}},
	year = {2011},
	howpublished = {\httpsurl{oeis.org/A196447}},
	note = {The number of parents of successive approximations used in a greedy approach to creating a Garden of Eden in Conway's Game of Life. [Online; accessed Dec. 16, 2021]}
}

@book{Wolfram2002,
	Author = {Stephen Wolfram},
	Title = {A New Kind of Science},
	Year = {2002},
	Publisher = {Wolfram Media},
	ISBN = {1579550088},
	URL = {https://www.wolframscience.com},
	Language = {English}
}