مسئله رضایتپذیری: الگوریتمها و تحلیلها
The Satisfiability Problem: Algorithms and Analyses
نویسنده: Uwe Schöning, Jacobo Torán
ناشر: Lehmanns Media
سال انتشار: 2013
تعداد صفحات: 178
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت