Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Insbesondere für praktische Probleme, wie z. B. für SAT, ist von Bedeutung, welchen Aufwand ihre Berechnung kostet. Aufwand kann sein: Zeitaufwand, Speicheraufwand oder Kommunikationsaufwand, wenn die Berechnung auf verteilten Systemen durchgeführt wird.Wir wollen uns in diesem Abschnitt (einführend) mit dem Zeitaufwand von Entscheidungsalgorithmen beschäftigen bzw.