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 Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.
€57.78
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783642316128 ● 编辑 Alessandro Cimatti & Roberto Sebastiani ● 出版者 Springer Berlin Heidelberg ● 发布时间 2012 ● 下载 3 时 ● 货币 EUR ● ID 6323001 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
48,216 此类电子书
