File:Backjump-collect.svg
Jump to navigation
Jump to search
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)
Captions
Captions
Add a one-line explanation of what this file represents
Summary
[edit]
| 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
[edit]
|
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 (talk | contribs) | White background + gold lines instead of dashed |
| 18:30, 20 February 2006 |  | 315 × 180 (13 KB) | Tizio (talk | contribs) | Decreased lenght of dashes in dashed lines | |
| 18:27, 20 February 2006 |  | 315 × 180 (13 KB) | Tizio (talk | contribs) | 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 |
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
