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