File:Backjump-variables-1.svg
From Wikipedia, the free encyclopedia
No higher resolution available.
Backjump-variables-1.svg (SVG file, nominally 144 × 126 pixels, file size: 7 KB)
 |
This is a file from the Wikimedia Commons. Information from 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, 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 | White background |
| 14:13, 8 February 2006 | No thumbnail | 0 × 0 (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 |
File usage
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on fa.wikipedia.org
