Image:Backjump-variables-2.svg
From Wikipedia, the free encyclopedia
Backjump-variables-2.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
This is the second part of the example, with Image:Backjump-variables-1.svg: if inconsistency is only due to the values of x1x2, there is no need to change value to x4 or even x3, and the algorithm can backjump to x2, changing its value.
[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:17, 8 February 2006 | 126×117 (7 KB) | Tizio | (This is the second part of the example, with Image:Backjump-variables-1.svg: if inconsistency is only due to the values of x1x2, there is no need to change value to x4 or even x3, and the algorithm can backjump to x2, changing its value. [[Category:C) |
