دانلود کتاب Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
by Matti Jarvisalo, Allen Van Gelder
|
عنوان فارسی: تئوری و کاربردهای Satisfiability تست - SAT 2013: 16 بین المللی, کنفرانس هلسینکی, فنلاند, جولای 8-12, 2013, مجموعه مقالات |