| 书目名称 | Theory and Applications of Satisfiability Testing -- SAT 2012 | | 副标题 | 15th International C | | 编辑 | Alessandro Cimatti,Roberto Sebastiani | | 视频video | | | 概述 | State-of-the-art research.Fast-track conference proceedings.Unique visibility | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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. | | 出版日期 | Conference proceedings 2012 | | 关键词 | SAT solvers; algorithm complexity; automated reasoning; constraints programming; resolution; algorithm an | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-31612-8 | | isbn_softcover | 978-3-642-31611-1 | | isbn_ebook | 978-3-642-31612-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2012 |
The information of publication is updating
|
|
发表于 2025-3-21 19:35:10
