Jump to content

File:Backjump-collect.svg

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file (SVG file, nominally 324 × 189 pixels, file size: 13 KB)

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

Public domain 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.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

20 February 2006

image/svg+xml

e31e82a45730f7047189363a330aa6319493a9c3

13,283 byte

189 pixel

324 pixel

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current18:34, 20 February 2006Thumbnail for version as of 18:34, 20 February 2006324 × 189 (13 KB)TizioWhite background + gold lines instead of dashed
18:30, 20 February 2006Thumbnail for version as of 18:30, 20 February 2006315 × 180 (13 KB)TizioDecreased lenght of dashes in dashed lines
18:27, 20 February 2006Thumbnail for version as of 18:27, 20 February 2006315 × 180 (13 KB)TizioBackjumping 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

The following page uses this file:

Global file usage

The following other wikis use this file: