نتایج جستجو

...صدق‌پذیری تبدیل می‌شود (weighted weighted -SAT در این مورد) و حل‌کننده‌های SAT به کار گرفته شده در AMRS می‌باشد. دو رویکرد کاملاً مشابه برای آموزش اکشن پا ...

...حال پیشرفت است. هرچند هیچ‌کدام از روش‌های کنونی نمی‌توانند ''همه‌ی'' موارد مسئلهٔ صدق‌پذیری را به‌طور کارآمد حل کنند. ...AT)، که مشخص می‌کند آیا یک [[فرمول گزاره‌ای]] صدق‌پذیر هست یا نه، مهم‌ترین مسئله در حوزه‌های مختلف [[علوم رایانه]] است؛ نظیر [[علوم نظری رایانه]]، [[الگوریت ...

|class=[[مسئله صدق‌پذیری دودویی]] |caption=در یک فرمول CNF-SAT این مراحل را انجام دهید: ...

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

...انجام جستجو استفاده می‌شود. فرایند محاسباتی استفاده شده در طراحی بسیاری از حل‌کننده‌های مجموعه جواب، نوعی بهبود [[الگوریتم DPLL]] هستند، و در اصل همیشه خاتمه می‌یا ...عه جواب نامیده می‌شود را به مسئله [[پیکربندی محصول]] اعمال کرد. استفاده از حل‌کننده‌های مجموعه جواب برای جستجو توسط [[:en:Victor_W._Marek|مارک]] و تروشسینسکی به عن ...