File:Backjump-variables-2.svg

Dimensioni di questa anteprima PNG per questo file SVG: 144 × 126 pixel. Altre risoluzioni: 274 × 240 pixel | 549 × 480 pixel | 878 × 768 pixel | 1 170 × 1 024 pixel | 2 341 × 2 048 pixel.
File originale (file in formato SVG, dimensioni nominali 144 × 126 pixel, dimensione del file: 7 KB)
Cronologia del file
Fare clic su un gruppo data/ora per vedere il file come si presentava nel momento indicato.
Data/Ora | Miniatura | Dimensioni | Utente | Commento | |
---|---|---|---|---|---|
attuale | 22:22, 8 feb 2006 | ![]() | 144 × 126 (7 KB) | Tizio | White background |
16:17, 8 feb 2006 | ![]() | 126 × 117 (7 KB) | Tizio | This is the second part of the example, with Image:Backjump-variables-1.svg: if inconsistency is only due to the values of x1x2, there is no need to change value to x4 or even x3, and the algorithm can backjump to x2, changing its value. [[Category:C |
Pagine che usano questo file
Nessuna pagina utilizza questo file.
Utilizzo globale del file
Anche i seguenti wiki usano questo file:
- Usato nelle seguenti pagine di en.wikipedia.org:
- Usato nelle seguenti pagine di es.wikipedia.org:
- Usato nelle seguenti pagine di fa.wikipedia.org:
- Usato nelle seguenti pagine di fr.wikipedia.org:
- Usato nelle seguenti pagine di sr.wikipedia.org:
- Usato nelle seguenti pagine di uk.wikipedia.org: