Image:Backjump-collect.svg
From Wikipedia, the free encyclopedia
Backjump-collect.svg (SVG file, nominally 324 × 189 pixels, file size: 13 KB)
| This is a file from the Wikimedia Commons. The description on its description page there is shown below.
|
[edit] Summary
Backjumping can be done by collecting, in each node, all variables that are sufficient to prove inconsistency in all leaves of its subtree. This collection is removed the variable of the node and sent to the parent, or ancestor if backjumping.
[edit] Licensing
 |
I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide. In case this is not legally possible: Afrikaans | Alemannisch | Aragonés | العربية | Asturianu | Български | Català | Česky | Cymraeg | Dansk | Deutsch | Eʋegbe | Ελληνικά | English | Español | Esperanto | Euskara | Estremeñu | فارسی | Français | Galego | 한국어 | हिन्दी | Hrvatski | Ido | Bahasa Indonesia | Íslenska | Italiano | עברית | Kurdî / كوردی | Latina | Lietuvių | Latviešu | Magyar | Македонски | Bahasa Melayu | Nederlands | Norsk (bokmål) | Norsk (nynorsk) | 日本語 | Polski | Português | Ripoarisch | Română | Русский | Shqip | Slovenčina | Slovenščina | Српски / Srpski | Svenska | ไทย | Tagalog | Türkçe | Українська | Tiếng Việt | Walon | 中文(简体) | 中文(繁體) | zh-yue-hant | +/- |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 18:34, 20 February 2006 | 324×189 (13 KB) | Tizio | (White background + gold lines instead of dashed) |
| 18:30, 20 February 2006 | 315×180 (13 KB) | Tizio | (Decreased lenght of dashes in dashed lines) | |
| 18:27, 20 February 2006 | 315×180 (13 KB) | Tizio | (Backjumping can be done by collecting, in each node, all variables that are sufficent to prove inconsistency in all leaves of its subtree. This collection is removed the variable of the node and sent to the parent, or ancestor if backjumping. [[Category:C) |
