| 書(shū)目名稱 | Theory and Applications of Satisfiability Testing – SAT 2020 | | 副標(biāo)題 | 23rd International C | | 編輯 | Luca Pulina,Martina Seidl | | 視頻video | http://file.papertrans.cn/924/923602/923602.mp4 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-15 17:45
發(fā)表于 2025-3-21 16:38:29
