Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... (Lecture Notes in Computer Science)
暫譯: 滿足性測試的理論與應用 - SAT 2014：第17屆國際會議，作為維也納邏輯夏季活動的一部分，VSL 2014，...(計算機科學講義)

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2014-08-04
  • 售價: $2,470
  • 貴賓價: 9.5 折 $2,347
  • 語言: 英文
  • 頁數: 476
  • 裝訂: Paperback
  • ISBN: 3319092839
  • ISBN-13: 9783319092836
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 21 regular papers, 7 short papers and 4 tool papers presented together with 2 invited talks were carefully reviewed and selected from 78 submissions. The papers have been organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity and reductions; proof complexity; parallel and incremental (Q)SAT; applications; structure; simplification and solving; and analysis.

商品描述(中文翻譯)

本書為第17屆國際滿足性測試理論與應用會議（SAT 2014）的經過審核的會議論文集，該會議於2014年7月在奧地利維也納的邏輯夏季活動（VSL 2014）中舉行。共計21篇常規論文、7篇短文和4篇工具論文，以及2場特邀演講，這些論文經過仔細審核和選擇，來自78篇投稿。論文被組織在以下主題部分：最大滿足性；最小不滿足性；複雜性與簡化；證明複雜性；平行與增量（Q）SAT；應用；結構；簡化與求解；以及分析。

類似商品