BDD Variable Ordering Good
Autor/Urheber:
Attribution:
Das Bild ist mit 'Attribution Required' markiert, aber es wurden keine Informationen über die Attribution bereitgestellt. Vermutlich wurde bei Verwendung des MediaWiki-Templates für die CC-BY Lizenzen der Parameter für die Attribution weggelassen. Autoren und Urheber finden für die korrekte Verwendung der Templates hier ein Beispiel.
Shortlink:
Quelle:
Größe:
156 x 435 Pixel (8399 Bytes)
Beschreibung:
BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering
Kommentar zur Lizenz:
GFDL and cc-by-sa-2.5
Lizenz:
Credit:
self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph layout
Bild teilen:
Relevante Bilder
(c) Roffle, CC-BY-SA-3.0
Relevante Artikel
Binäres EntscheidungsdiagrammEin binäres Entscheidungsdiagramm ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und -verifikation eingesetzt. .. weiterlesen