Archivo:Backjump-variables-1.svg
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.
Ver la imagen en su resolución original ((Imagen SVG, nominalmente 144 × 126 pixels, 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 | 20:22 8 feb 2006 | | 144 × 126 (7 kB) | Tizio | White background |
| 14:13 8 feb 2006 |  | 126 × 117 (7 kB) | Tizio | 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 |
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
