خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

تئوری و کاربردهای تست رضایتمندی -- SAT 2015: هجدهمین کنفرانس بین المللی، آستین، TX، ایالات متحده، 24-27 سپتامبر 2015، مجموعه مقالات

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

نویسنده: Marijn Heule, Sean Weaver

ناشر: Springer

سال انتشار: 2015

تعداد صفحات: 457

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 14 مگابایت