پرونده:Backjump-collect.svg
ظاهر
حجم پیشنمایش PNG این SVG file:۳۲۴ × ۱۸۹ پیکسل کیفیتهای دیگر: ۳۲۰ × ۱۸۷ پیکسل | ۶۴۰ × ۳۷۳ پیکسل | ۱٬۰۲۴ × ۵۹۷ پیکسل | ۱٬۲۸۰ × ۷۴۷ پیکسل | ۲٬۵۶۰ × ۱٬۴۹۳ پیکسل.
پروندهٔ اصلی (پروندهٔ اسویجی، با ابعاد ۳۲۴ × ۱۸۹ پیکسل، اندازهٔ پرونده: ۱۳ کیلوبایت)
تاریخچهٔ پرونده
روی تاریخ/زمانها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.
تاریخ/زمان | بندانگشتی | ابعاد | کاربر | توضیح | |
---|---|---|---|---|---|
کنونی | ۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۳۴ | ۳۲۴ در ۱۸۹ (۱۳ کیلوبایت) | Tizio | White background + gold lines instead of dashed | |
۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۳۰ | ۳۱۵ در ۱۸۰ (۱۳ کیلوبایت) | Tizio | Decreased lenght of dashes in dashed lines | ||
۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۲۷ | ۳۱۵ در ۱۸۰ (۱۳ کیلوبایت) | 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 |
کاربرد پرونده
صفحهٔ زیر از این تصویر استفاده میکند:
کاربرد سراسری پرونده
ویکیهای دیگر زیر از این پرونده استفاده میکنند:
- کاربرد در en.wikipedia.org
- کاربرد در es.wikipedia.org
- کاربرد در fr.wikipedia.org
- کاربرد در sr.wikipedia.org
- کاربرد در uk.wikipedia.org