File:Backjump-collect.svg
Size of this PNG preview of this SVG file: 324 × 189 pixels. Other resolutions: 320 × 187 pixels | 640 × 373 pixels | 1,024 × 597 pixels | 1,280 × 747 pixels | 2,560 × 1,493 pixels.
Original file (SVG file, nominally 324 × 189 pixels, file size: 13 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 | Backjumping can be done by collecting, in each node, all variables that are sufficient to prove inconsistency in all leaves of its subtree. This collection is removed the variable of the node and sent to the parent, or ancestor if backjumping. |
| Date | 20 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 | 18:34, 20 February 2006 | | 324 × 189 (13 KB) | Tizio | White background + gold lines instead of dashed |
| 18:30, 20 February 2006 |  | 315 × 180 (13 KB) | Tizio | Decreased lenght of dashes in dashed lines | |
| 18:27, 20 February 2006 |  | 315 × 180 (13 KB) | Tizio | Backjumping can be done by collecting, in each node, all variables that are sufficent to prove inconsistency in all leaves of its subtree. This collection is removed the variable of the node and sent to the parent, or ancestor if backjumping. [[Category:C |
File usage
The following page uses this file:
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
