idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Unter Mitarbeit der AG "Rechnerarchitektur" der Universität Bremen ist das erste umfassende Handbuch zum Thema Boolesche Erfüllbarkeit erschienen
Logistische Prozesse optimal gestalten, Schaltkreise als korrekt Nachweisen oder komplexe Sachverhalte übersichtlich graphisch darstellen. Mit Problemen dieser Art haben es Informatiker in ihrer täglichen Arbeit zu tun. So unterschiedlich diese Aufgaben klingen, haben sie doch eines gemeinsam: Wenn es gelingen würde, eines dieser Probleme zu lösen, so könnte man daraus auch unmittelbar Lösungen für die anderen Probleme ableiten. Wie schwer das ist, zeigt ein Aufruf aus den USA, bei dem vom Clay Mathematics Institute (CMI) of Cambridge, Massachusetts, eine Million Dollar geboten werden, wenn jemand für nur eines dieser Probleme eine Lösung finden würde.
Inzwischen wurde für über tausend Probleme nachgewiesen, dass sie - in diesem Sinne - gleich schwierig sind. Das Problem, für das erstmals diese Eigenschaft gezeigt werden konnte, ist die Boolesche Erfüllbarkeit. Der Nachweis dafür liegt bereits über 25 Jahre zurück. Aufgrund der großen theoretischen und praktischen Bedeutung des Problems ist jetzt erstmals ein umfassendes Handbuch in dem internationalen Fachverlag IOS Press erschienen. An dem englischsprachigen Nachschlagewerk mit dem Titel "Handbook of Satisfiability" haben zahlreiche Wissenschaftler mitgearbeitet - ein Autor ist der Informatiker der Universität Bremen, Prof. Dr. Rolf Drechsler, mit seiner Arbeitsgruppe "Rechnerarchitektur".
Das Handbuch umfasst knapp tausend Seiten und beschreibt sowohl theortische als auch praktische Aspekte des Problems. Insbesondere werden erstmals auch die jüngsten Ergebnisse aufgegriffen, die es erlauben, große Probleminstanzen schnell zu lösen. Professor Drechsler hat darin einen Beitrag zum praktischen Einsatz von Boolescher Erfüllbarkeit zum Testen von Schaltkreisen und Systemen geschrieben. Die von seiner Arbeitsgruppe "Rechnerarchitektur" erarbeiteten Resultate entstanden im Rahmen eines vom Bundesministerium für Bildung und Forschung (BMBF) geförderten Projektes in Kooperation mit der Hamburger Firma NXP Semiconductors und wurden darüber hinaus von der Deutschen Forschungsgemeinschaft (DFG) unterstützt.
Kontakt:
Universität Bremen
Fachbereich Mathematik/ Informatik (FB 03)
AG Rechnerarchitektur
Prof. Dr. Rolf Drechsler
Tel.: 0421-218 6 39 32
E-Mail: drechsler@informatik.uni-bremen.de
http://www.informatik.uni-bremen.de/agra/ger/index.php
Merkmale dieser Pressemitteilung:
Informationstechnik
überregional
Wissenschaftliche Publikationen
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
