ファイル:BDD Variable Ordering Bad.svg
この SVG ファイルのこの PNG プレビューのサイズ: 638 × 435 ピクセル. その他の解像度: 320 × 218 ピクセル | 640 × 436 ピクセル | 1,024 × 698 ピクセル | 1,280 × 873 ピクセル | 2,560 × 1,745 ピクセル。
元のファイル (SVG ファイル、638 × 435 ピクセル、ファイルサイズ: 29キロバイト)
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2007年3月5日 (月) 18:34 | 638 × 435 (29キロバイト) | Brighterorange | ||
2007年3月5日 (月) 18:23 | 512 × 353 (29キロバイト) | Brighterorange | == Summary == {{Information| |Description = BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering |Source = self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph lay |
ファイルの使用状況
以下のページがこのファイルを使用しています:
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- de.wikipedia.org での使用状況
- en.wikipedia.org での使用状況
- fr.wikipedia.org での使用状況
- ru.wikipedia.org での使用状況
- sr.wikipedia.org での使用状況
- uk.wikipedia.org での使用状況