Image:Backjump-variables-3.svg

From Wikipedia, the free encyclopedia

Backjump-variables-3.svg (SVG file, nominally 144 × 126 pixels, file size: 2 KB)

Wikimedia Commons logo This is a file from the Wikimedia Commons. The description on its description page there is shown below.
Commons is a freely licensed media file repository. You can help.

[edit] Summary

What the algorithm does after Image:Backjump-variables-2.svg: it retracts to x2, choosing a new value for it.

[edit] Licensing

Public domain I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide.

In case this is not legally possible:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.


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/TimeDimensionsUserComment
current20:22, 8 February 2006144×126 (2 KB)Tizio (White background)
15:08, 8 February 2006126×117 (2 KB)Tizio (New version with a small white segment to make it of the same size as the other two images)
15:03, 8 February 200627×36 (2 KB)Tizio (What the algorithm does after Image:Backjump-variables-3.svg: it retracts to x2, choosing a new value for it. Category:Constraint satisfaction)
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):