Файл:Backjump-collect.svg
Перейти до навігації
Перейти до пошуку
Розмір цього попереднього перегляду PNG для вихідного SVG-файлу: 324 × 189 пікселів. Інші роздільності: 320 × 187 пікселів | 640 × 373 пікселів | 1024 × 597 пікселів | 1280 × 747 пікселів | 2560 × 1493 пікселів.
Повна роздільність (SVG-файл, номінально 324 × 189 пікселів, розмір файлу: 13 КБ)
Опис файлу
| Опис | 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 (дата завантаження оригінального файлу) |
| Джерело | Не вказане машиночитабельне джерело. Припускаємо, що це власна робота (на основі заяви про авторські права). |
| Автор | Не вказано машиночитабельного автора. Припускаємо, що автором є Tizio (на основі заяви про авторські права). |
Ліцензування
|
Я, власник авторських прав на цю роботу, передаю роботу в суспільне надбання. Застосовується по всьому світу. У деяких країнах це не може бути юридично можливо, в такому випадку: Я даю кожному право на використання цієї роботи для будь-яких цілей, без будь-яких умов, якщо такі умови не вимагаються за законом. |
Історія файлу
Клацніть на дату/час, щоб переглянути, як тоді виглядав файл.
| Дата/час | Мініатюра | Розмір об'єкта | Користувач | Коментар | |
|---|---|---|---|---|---|
| поточний | 19:34, 20 лютого 2006 | | 324 × 189 (13 КБ) | wikimediacommons>Tizio | White background + gold lines instead of dashed |
Використання файлу
Така сторінка використовує цей файл:
