| 书目名称 | Theory and Applications of Satisfiability Testing – SAT 2020 | | 副标题 | 23rd International C | | 编辑 | Luca Pulina,Martina Seidl | | 视频video | http://file.papertrans.cn/924/923602/923602.mp4 | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. .The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation... . | | 出版日期 | Conference proceedings 2020 | | 关键词 | architecture verification and validation; boolean functions; computer networks; computer programming; de | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-51825-7 | | isbn_softcover | 978-3-030-51824-0 | | isbn_ebook | 978-3-030-51825-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer Nature Switzerland AG 2020 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-12 13:51
发表于 2025-3-21 16:38:29
