پرونده:Backjump-collect.svg
پرش به ناوبری
پرش به جستجو
حجم پیشنمایش PNG این SVG file:۳۲۴ × ۱۸۹ پیکسل کیفیتهای دیگر: ۳۲۰ × ۱۸۷ پیکسل | ۶۴۰ × ۳۷۳ پیکسل | ۱٬۰۲۴ × ۵۹۷ پیکسل | ۱٬۲۸۰ × ۷۴۷ پیکسل | ۲٬۵۶۰ × ۱٬۴۹۳ پیکسل.
پروندهٔ اصلی (پروندهٔ اسویجی، با ابعاد ۳۲۴ × ۱۸۹ پیکسل، اندازهٔ پرونده: ۱۳ کیلوبایت)
خلاصه
| توضیح | 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. |
| تاریخ | ۲۰ فوریه ۲۰۰۶ (تاریخ اصلی بارگذاری) |
| منبع | No machine-readable source provided. Own work assumed (based on copyright claims). |
| پدیدآور | No machine-readable author provided. Tizio assumed (based on copyright claims). |
اجازهنامه
|
من، دارنده حق تکثیر این اثر، این اثر را به مالکیت عمومی منتشر میکنم. این قابل اجرا در تمام نقاط جهان است. در برخی از کشورها ممکن است به صورت قانونی این امکانپذیر نباشد؛ اگر چنین است: من اجازهٔ استفاده از این اثر را برای هر مقصودی، بدون هیچگونه شرایطی میدهم، تا وقتی که این شرایط توسط قانون مستلزم نشده باشد. |
تاریخچهٔ پرونده
روی تاریخ/زمانها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.
| تاریخ/زمان | بندانگشتی | ابعاد | کاربر | توضیح | |
|---|---|---|---|---|---|
| کنونی | ۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۹:۳۴ | | ۳۲۴ در ۱۸۹ (۱۳ کیلوبایت) | wikimediacommons>Tizio | White background + gold lines instead of dashed |
کاربرد پرونده
صفحهٔ زیر از این تصویر استفاده میکند:
