1. K. Appel and W. Haken. The Solution of the Four-Color-Map Problem. Scientific American, pages 108–121, October 1977. 34
2. D. Avis and K. Fukuda. Reverse Search for Enumeration. Discrete Apllied Mathematics, 65:21–46, 1996. 25, 31, 32
3. A Bruengger. Solving hard combinatorial optimization problems in parallel. Two case studies. PhD thesis, ETH Zurich, 1997. 34
4. R. Gasser. Harnessing computational resources for efficient exhaustive search. PhD thesis, ETH Zurich, 1995. 34
5. J. Horgan. The Death of Proof. Scientific American, pages 74–82, 1993. 34