پرونده:Backjump-collect.svg

Page contents not supported in other languages.
از ویکی‌پدیا، دانشنامهٔ آزاد

پروندهٔ اصلی(پروندهٔ اس‌وی‌جی، با ابعاد ۳۲۴ × ۱۸۹ پیکسل، اندازهٔ پرونده: ۱۳ کیلوبایت)

خلاصه

توضیح 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).

اجازه‌نامه

Public domain من، دارنده حق تکثیر این اثر، این اثر را به مالکیت عمومی منتشر می‌کنم. این قابل اجرا در تمام نقاط جهان است.
در برخی از کشورها ممکن است به صورت قانونی این امکان‌پذیر نباشد؛ اگر چنین است:
من اجازهٔ استفاده از این اثر را برای هر مقصودی، بدون هیچ‌گونه شرایطی می‌دهم، تا وقتی که این شرایط توسط قانون مستلزم نشده باشد.

عنوان

شرحی یک‌خطی از محتوای این فایل اضافه کنید

آیتم‌هایی که در این پرونده نمایش داده شده‌اند

توصیف‌ها

checksum انگلیسی

e31e82a45730f7047189363a330aa6319493a9c3

۱۳٬۲۸۳ بایت

۱۸۹ پیکسل

۳۲۴ پیکسل

تاریخچهٔ پرونده

روی تاریخ/زمان‌ها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.

تاریخ/زمانبندانگشتیابعادکاربرتوضیح
کنونی‏۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۳۴تصویر بندانگشتی از نسخهٔ مورخ ‏۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۳۴۳۲۴ در ۱۸۹ (۱۳ کیلوبایت)TizioWhite background + gold lines instead of dashed
‏۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۳۰تصویر بندانگشتی از نسخهٔ مورخ ‏۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۳۰۳۱۵ در ۱۸۰ (۱۳ کیلوبایت)TizioDecreased lenght of dashes in dashed lines
‏۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۲۷تصویر بندانگشتی از نسخهٔ مورخ ‏۲۰ فوریهٔ ۲۰۰۶، ساعت ۱۸:۲۷۳۱۵ در ۱۸۰ (۱۳ کیلوبایت)TizioBackjumping 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

صفحهٔ زیر از این تصویر استفاده می‌کند:

کاربرد سراسری پرونده

ویکی‌های دیگر زیر از این پرونده استفاده می‌کنند: