File:Backjump-variables-2.svg
![File:Backjump-variables-2.svg](https://upload.wikimedia.org/wikipedia/commons/thumb/7/70/Backjump-variables-2.svg/144px-Backjump-variables-2.svg.png?20060208202207)
Size of this PNG preview of this SVG file: 144 × 126 pixels. Other resolutions: 274 × 240 pixels | 549 × 480 pixels | 878 × 768 pixels | 1,170 × 1,024 pixels | 2,341 × 2,048 pixels.
Original file (SVG file, nominally 144 × 126 pixels, file size: 7 KB)
File information
Structured data
Captions
Captions
Add a one-line explanation of what this file represents
Summary
editDescriptionBackjump-variables-2.svg | 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. |
Date | 8 February 2006 (original upload date) |
Source | No machine-readable source provided. Own work assumed (based on copyright claims). |
Author | No machine-readable author provided. Tizio assumed (based on copyright claims). |
Licensing
editPublic domainPublic domainfalsefalse |
![]() |
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 20:22, 8 February 2006 | ![]() | 144 × 126 (7 KB) | Tizio (talk | contribs) | White background |
14:17, 8 February 2006 | ![]() | 126 × 117 (7 KB) | Tizio (talk | contribs) | 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 |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
- Usage on es.wikipedia.org
- Usage on fa.wikipedia.org
- Usage on fr.wikipedia.org
- Usage on sr.wikipedia.org
- Usage on uk.wikipedia.org