| 书目名称 | Theory and Applications of Satisfiability Testing – SAT 2008 |
| 副标题 | 11th International C |
| 编辑 | Hans Kleine Büning,Xishun Zhao |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the ?rst time, the conference venue was in Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University in Guangzhou, P. R. China. Many hard combinatorial problems can be encoded into SAT. Therefore - provementsonheuristics onthe practicalside,as wellastheoreticalinsightsinto SAT apply to a large range of real-world problems. More speci?cally, many - portant practical veri?cation problems can be rephrased as SAT problems. This applies to veri?cation problems in hardware and software. Thus SAT is bec- ing one of the most important core technologies to verify secure and dependable systems. The topics of the conference span practical and th |
| 出版日期 | Conference proceedings 2008 |
| 关键词 | 3-SAT; Erfüllbarkeitsproblem der Aussagenlogik; Resolution; algorithm; algorithms; complexity; constraint |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-79719-7 |
| isbn_softcover | 978-3-540-79718-0 |
| isbn_ebook | 978-3-540-79719-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2008 |
发表于 2025-3-21 16:35:41
