Датотека:Backjump-collect.svg
Appearance
Veličina PNG pregleda za ovu SVG datoteku je 324 × 189 piksela. 5 drugih rezolucija: 320 × 187 piksela | 640 × 373 piksela | 1.024 × 597 piksela | 1.280 × 747 piksela | 2.560 × 1.493 piksela.
Originalna datoteka (SVG datoteka, nominalno 324 × 189 piksela, veličina: 13 kB)
Istorija datoteke
Kliknite na datum/vreme da biste videli tadašnju verziju datoteke.
Datum/vreme | Minijatura | Dimenzije | Korisnik | Komentar | |
---|---|---|---|---|---|
trenutna | 20:34, 20. februar 2006. | 324 × 189 (13 kB) | Tizio | White background + gold lines instead of dashed | |
20:30, 20. februar 2006. | 315 × 180 (13 kB) | Tizio | Decreased lenght of dashes in dashed lines | ||
20:27, 20. februar 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 |
Upotreba datoteke
Sledeća stranica koristi ovu datoteku:
Globalna upotreba datoteke
Drugi vikiji koji koriste ovu datoteku:
- Upotreba na en.wikipedia.org
- Upotreba na es.wikipedia.org
- Upotreba na fa.wikipedia.org
- Upotreba na fr.wikipedia.org
- Upotreba na uk.wikipedia.org