ارائه روشی مبتنیبر جستجوی محلی جهت کاهش زمان اجرای الگوریتمهای دقیق حل مسئله Maximum Boolean Satisfiability
یکی ازمعروفترین مسائل محاسباتی درعلم کامپیوتر که اولین مسئله شناخته شده NP Complete NPC نیز هست مسئله Satisfiability یابه اختصارSAT می باشد اهمیت این…
NP-Hardارضاپذیری بیشینه بولیجستجوی محلی