Archivo:Backjump-collect.svg
Apariencia
Tamaño de esta previsualización PNG del archivo SVG: 324 × 189 píxeles. Otras resoluciones: 320 × 187 píxeles · 640 × 373 píxeles · 1024 × 597 píxeles · 1280 × 747 píxeles · 2560 × 1493 píxeles.
Ver la imagen en su resolución original ((Imagen SVG, nominalmente 324 × 189 pixels, tamaño de archivo: 13 kB))
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
---|---|---|---|---|---|
actual | 18:34 20 feb 2006 | 324 × 189 (13 kB) | Tizio | White background + gold lines instead of dashed | |
18:30 20 feb 2006 | 315 × 180 (13 kB) | Tizio | Decreased lenght of dashes in dashed lines | ||
18:27 20 feb 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 |
Usos del archivo
La siguiente página usa este archivo:
Uso global del archivo
Las wikis siguientes utilizan este archivo:
- Uso en en.wikipedia.org
- Uso en fa.wikipedia.org
- Uso en fr.wikipedia.org
- Uso en sr.wikipedia.org
- Uso en uk.wikipedia.org