SAT 2005, Fachbücher von Toby Walsh, Enrico Giunchiglia

Das Buch "SAT 2005" befasst sich mit den jüngsten Fortschritten in der Lösung von Problemen der Aussagenlogik und verwandten Themen. Die Aussagenlogik ist ein leistungsfähiges und allgemeines Formalismus, das zur Lösung einer Vielzahl wichtiger Probleme eingesetzt wird, darunter die Verifikation von Hardware und Software. Die Automatisierung von Schlussfolgerungen in der künstlichen Intelligenz hat eine lange Geschichte, die bis in die 1950er Jahre zurückreicht, als Allen Newell und Herb Simon die Logic Theory Machine einführten. Diese Entwicklungen haben die Grundlagen für viele moderne Anwendungen in der automatisierten Deduktion gelegt und die Bedeutung der Aussagenlogik in der Komplexitätstheorie hervorgehoben. Das Buch bietet einen umfassenden Überblick über die theoretischen und praktischen Aspekte der Aussagenlogik und deren Anwendungen in der Informatik.