Archivo:Backjump-variables-1.svg
Ir a la navegación
Ir a la búsqueda
Tamaño de esta previsualización PNG del archivo SVG: 144 × 126 píxeles. Otras resoluciones: 274 × 240 píxeles | 549 × 480 píxeles | 878 × 768 píxeles | 1170 × 1024 píxeles | 2341 × 2048 píxeles.
Archivo original (archivo SVG, nominalmente 144 × 126 píxeles, tamaño de archivo: 7 kB)
Resumen
| Descripción | An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which the value of x4 is actually irrelevant |
| Fecha | 8 de febrero de 2006 (fecha original de carga) |
| Fuente | No se ha podido leer automáticamente información sobre la fuente; se asume que es trabajo propio (según los derechos de autor reclamados). |
| Autor | No se ha podido leer automáticamente información sobre el autor; se asume que es Tizio (según los derechos de autor reclamados). |
Licencia
|
Yo, el titular de los derechos de autor de esta obra, lo libero al dominio público. Esto aplica en todo el mundo. En algunos países esto puede no ser legalmente factible; si ello ocurriese: Concedo a cualquier persona el derecho de usar este trabajo para cualquier propósito, sin ningún tipo de condición al menos que éstas sean requeridas por la ley. |
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 | 21:22 8 feb 2006 | | 144 × 126 (7 kB) | wikimediacommons>Tizio | White background |
Usos del archivo
La siguiente página usa este archivo:
