Датотека:Backjump-collect.svg
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)
 | Ovo je datoteka sa Vikimedijine ostave. Informacije sa njene stranice sa opisom prikazane su ispod. Vikimedijina ostava je skladište slobodno licenciralnih multimedijalnih datoteka. I Vi možete da pomognete. |
Opis izmene
| Opis | Backjumping can be done by collecting, in each node, all variables that are sufficient 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. |
| Datum | 20. februar 2006. (првобитни датум слања) |
| Izvor | No machine-readable source provided. Own work assumed (based on copyright claims). |
| Autor | No machine-readable author provided. Tizio assumed (based on copyright claims). |
Licenciranje
|
Ja, tvorac ovog dela, predajem ga u javno vlasništvo. Ovo se odnosi na ceo svet. U nekim zemljama, ovo nije zakonski moguće; u tom slučaju: Ja, tvorac ovog dela dozvoljavam svakome da koristi ovo delo za bilo koju namenu, bez bilo kakvih uslova, osim uslova koje nameće zakon. |
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
