نتایج جستجو

...ه)|آرایه]]، [[آرایه بیتی|بردار بیتی]]، و غیره. مسئله SMT را می‌توان نوعی [[مسئله ارضای محدودیت]] در نظر گرفت، و از این رو یک دیدگاه صوری‌شده معین به [[برنام ...است که آیا چنین فرمولی «صدق‌پذیر» هست یا نه. به عبارت دیگر، یک نمونه از [[مسئله صدق‌پذیری دودویی]] (SAT) را درنظر بگیرید، که در آن بعضی از متغیرهای دودویی ...

|class=[[مسئله صدق‌پذیری دودویی]] ...رمال عطفی]] است، به عبارت دیگر الگوریتم DPLL دارد [[مسئله صدق‌پذیری دودویی|مسئله CNF-SAT]] را حل می‌کند. ...

...م عبارات (که ترم نامیده می‌شوند) اجازه رخداد در مجموعه معادلات را دارد (که مسئله همان‌سازی نام دارد)، و نیز بر اساس آنکه کدام عبارات‌ها معادل درنظر گرفته می ...همه جواب‌ها را پوشش دهد، و نیز شامل هیچ عضو زایدی هم نیست. بر اساس چارچوب مسئله، یک «مجموعه جایگزینی کامل و کمینه» می‌تواند تعداد اعضایش حداکثر یک، حداکثر ...