Jump to content

File:Backjump-ignored.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 189 × 171 pixels, file size: 8 KB)

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

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

11 February 2006

image/svg+xml

da0b85719d2193da821f7d8fc419ce3c45361bda

7,739 byte

171 pixel

189 pixel

File history

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

Date/TimeThumbnailDimensionsUserComment
current12:40, 11 February 2006Thumbnail for version as of 12:40, 11 February 2006189 × 171 (8 KB)TizioOne edge was missing
11:50, 11 February 2006Thumbnail for version as of 11:50, 11 February 2006189 × 171 (7 KB)TizioThe 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

The following page uses this file:

Global file usage

The following other wikis use this file: