現在地
トップ > 電子書籍 > 洋書 > Science & Nature > Discrete Mathematics
TheoryandApplicationsofSatisfiabilityTesting?SAT202023rdInternationalConference,Alghero,Italy,July3?10,2020,Proceedings

Theory and Applications of Satisfiability Testing ? SAT 2020 23rd International Conference, Alghero, Italy, July 3?10, 2020, Proceedings (Springer) [電子書籍版]

9,259(税込)

  • 発行形態:
  • 電子書籍

楽天Kobo初めての方へ!クーポン&ポイントプレゼント
初めての方へ クーポン&ポイントプレゼント

商品基本情報

  • 編集:   Luca Pulina, Martina Seidl
  • レーベル:  Springer
  • 発売日:  2020年07月04日
  • 出版社:  Springer International Publishing
  • 商品番号:  9783030518257
  • 言語:  English

商品説明

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.

商品レビュー

楽天Koboのレビュー

まだレビューがありません。 レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

楽天Kobo電子書籍版

  • 期間限定!イチオシのキャンペーン

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:電子書籍

    ※1時間ごとに更新

    1. 1
      ヲタクに恋は難しい(10)
      電子書籍ヲタクに恋は難しい(10)

      ふじた

      660円(税込)

    2. 2
      アオアシ(23)
      電子書籍アオアシ(23)

      小林有吾

      605円(税込)

    3. 3
      BLUE GIANT EXPLORER(2)
      電子書籍BLUE GIANT EXPLORER(2)

      石塚真一

      660円(税込)

    4. 4
      宇宙兄弟(39)
      電子書籍宇宙兄弟(39)

      小山宙哉

      682円(税込)

    5. 5
      九条の大罪(1)
      電子書籍九条の大罪(1)

      真鍋昌平

      605円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ