Original file (SVG file, nominally 144 × 126 pixels, file size: 7 KB)
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 |
![]() | 126 × 117 (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 |
The following other wikis use this file:
Original file (SVG file, nominally 144 × 126 pixels, file size: 7 KB)
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 |
![]() | 126 × 117 (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 |
The following other wikis use this file: