File:Backjump-ignored.svg
Size of this PNG preview of this SVG file: 189 × 171 pixels. Other resolutions: 265 × 240 pixels | 531 × 480 pixels | 849 × 768 pixels | 1,132 × 1,024 pixels | 2,264 × 2,048 pixels.
Original file (SVG file, nominally 189 × 171 pixels, file size: 8 KB)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description | The nodes that have been skipped during a backjump can be ignored for further backjumps. This includes also subtrees that could have been avoided |
| Date | 11 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
|
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 | 12:40, 11 February 2006 | | 189 × 171 (8 KB) | Tizio | One edge was missing |
| 11:50, 11 February 2006 |  | 189 × 171 (7 KB) | Tizio | The nodes that have been skipped during a backjump can be ignored for further backjumps. This includes also subtrees that could have been avoided Category:Constraint satisfaction |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- 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
