خانه
تصادفی
در نزدیکی
ورود
تنظیمات
کمک مالی
دربارهٔ ویکیپدیا
تکذیبنامهها
جستجو
رده
:
برنامهنویسی ارضای محدودیت
زبان
پیگیری
ویرایش
مقالهٔ اصلی این
رده
،
برنامهنویسی ارضای محدودیت
است.
صفحهها
۱۵ صفحۀ زیر در این رده هستند؛ این رده در کل ۱۵ صفحه دارد.
ا
الگوریتم دورگه
الگوریتم سازگاری کمان
الگوریتم DPLL
ب
برتراند (زبان برنامهنویسی)
برنامهنویسی محدودیت
بهینهسازی مقید
پ
پسپرش (الگوریتم)
ج
جستجوی رو به جلو
د
دینامیک اجماع
ر
روش تجزیه
س
سامانه استدلال
سیاچآر
ص
صدقپذیری در پیمانه نظریات
ق
قید (ریاضیات)
م
مسئله ارضای محدودیت