Датотека:Backjump-collect.svg
Пређи на навигацију
Пређи на претрагу
Величина PNG прегледа за ову SVG датотеку је 324 × 189 пиксела. 5 других резолуција: 320 × 187 пиксела | 640 × 373 пиксела | 1.024 × 597 пиксела | 1.280 × 747 пиксела | 2.560 × 1.493 пиксела.
Оригинална датотека (SVG датотека, номинално 324 × 189 пиксела, величина: 13 kB)
Опис
| Опис | 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. |
| Датум | 20. фебруар 2006. (првобитни датум слања) |
| Извор | No machine-readable source provided. Own work assumed (based on copyright claims). |
| Аутор | No machine-readable author provided. Tizio assumed (based on copyright claims). |
Лиценцирање
|
Ја, творац овог дела, предајем га у јавно власништво. Ово се односи на цео свет. У случају да ово није правно могуће: Ја, творац овог дела дозвољавам свакоме да користи ово дело за било коју намену, без било каквих услова, осим услова које намеће закон. |
Историја датотеке
Кликните на датум/време да бисте видели тадашњу верзију датотеке.
| Датум/време | Минијатура | Димензије | Корисник | Коментар | |
|---|---|---|---|---|---|
| тренутна | 19:34, 20. фебруар 2006. | | 324 × 189 (13 kB) | wikimediacommons>Tizio | White background + gold lines instead of dashed |
Употреба датотеке
Следећа страница користи ову датотеку:
