ارضاپذیری بیشینه بولی

ارائه روشی مبتنیبر جستجوی محلی جهت کاهش زمان اجرای الگوریتمهای دقیق حل مسئله Maximum Boolean Satisfiability

یکی ازمعروفترین مسائل محاسباتی درعلم کامپیوتر که اولین مسئله شناخته شده NP Complete NPC نیز هست مسئله Satisfiability یابه اختصارSAT می باشد اهمیت این…