Komplexität und Phasenübergänge Automatic Problem Solving Institut für Informatik Universität Potsdam WS 05/06 Thomas Hofmann.
