دفترچه راهنمای رضایت (ویرایش دوم)
Handbook of Satisfiability (2nd ed.)
نویسنده: Biere, Armin & Heule, Marjin & Maaren, Hans van & Walsh, Toby
ناشر: IOS Press
سال انتشار: 2021
تعداد صفحات: [980]
زبان: eng
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 12 مگابایت