File:Backjump-collect.svg
From Wikipedia, the free encyclopedia
No higher resolution available.
Backjump-collect.svg (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. |
[edit] Summary
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.
[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 | 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 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
