آموزش استدلال خودکار: مسئله ارضای پذیری (Satisfiability)
دانلود Automated Reasoning: satisfiability
در این دوره، با کاربرد ابزارهای SAT/SMT برای حل مسائل متنوع از جمله زمانبندی، حل پازل و بهینهسازی مدلها آشنا میشوید.
برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید