Alessandro Cimatti & Roberto Sebastiani 
Theory and Applications of Satisfiability Testing — SAT 2012 [PDF ebook] 
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

الدعم

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boole...

قراءة المزيد
€57.71
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9783642316128 ● محرر Alessandro Cimatti & Roberto Sebastiani ● الناشر Springer Berlin Heidelberg ● نشرت 2012 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6323001 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

49٬673 كتب إلكترونية في هذه الفئة