Image:Backjump-variables-1.svg
From Wikipedia, the free encyclopedia
Backjump-variables-1.svg (SVG file, nominally 144 × 126 pixels, file size: 7 KB)
| This is a file from the Wikimedia Commons. The description on its description page there is shown below.
|
[edit] Summary
An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which the value of x4 is actually irrelevant
[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 | 20:22, 8 February 2006 | 144×126 (7 KB) | Tizio | (White background) |
| 14:13, 8 February 2006 | 126×117 (7 KB) | Tizio | (An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which ) |
