در حال بارگذاری…
رضایت‌مندی کاربردی
به‌کارگیری رضایت‌مندی (Satisfiability) برای طیف وسیعی از مسائل دشوار. مسئله رضایت‌مندی بولی (SAT) یکی از مشهورترین مسائل در منطق بولی است.
به‌کارگیری رضایت‌مندی (Satisfiability) برای طیف وسیعی از مسائل دشوار. مسئله رضایت‌مندی بولی (SAT) یکی از مشهورترین مسائل در منطق بولی است. این کتاب به بررسی کاربردهای SAT و MaxSAT در زمینه‌های رمزنگاری، زمان‌بندی و بازی‌های ائتلافی می‌پردازد. این اثر با ارائه آزمایش‌ها و مطالعات موردی، ابزارهای جدیدی را برای محققان و متخصصان جهت حل مسائل محاسباتی پیچیده فراهم می‌کند.
انتخاب‌های نزدیک به این کتاب
جو فود
ربکا استات
تور نوررتارندرس
جان براکمن
لوری والمارک
پل هاوکن