File:Backjump-variables-1.svg
![File:Backjump-variables-1.svg](https://upload.wikimedia.org/wikipedia/commons/thumb/7/7f/Backjump-variables-1.svg/144px-Backjump-variables-1.svg.png?20060208202208)
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-1.svg | 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 |
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:13, 8 February 2006 | ![]() | 126 × 117 (7 KB) | Tizio (talk | contribs) | 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 |
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