日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
 
 
ダウンロード電子メール
 詳細要約
  Satisfiability Checking and Symbolic Computation

Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., & Sturm, T. (2016). Satisfiability Checking and Symbolic Computation. Retrieved from http://arxiv.org/abs/1607.06945.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002B-A959-7 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002C-5E8C-A
資料種別: 成果報告書

ファイル

表示: ファイル
非表示: ファイル
:
arXiv:1607.06945.pdf (プレプリント), 90KB
表示   保存
ファイルのパーマリンク:
https://hdl.handle.net/11858/00-001M-0000-002B-A95D-0
ファイル名:
arXiv:1607.06945.pdf
説明:
File downloaded from arXiv at 2016-10-26 11:19 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at http://www.sc-square.org/SC2-AnnouncementPoster.pdf
OA-Status:
閲覧制限:
公開
MIMEタイプ / チェックサム:
application/pdf / [MD5]
技術的なメタデータ:
表示
著作権日付:
-
著作権情報:
-
CCライセンス:
http://arxiv.org/help/license

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Ábrahám, Erika1, 著者
Abbott, John1, 著者
Becker, Bernd1, 著者
Bigatti, Anna M.1, 著者
Brain, Martin1, 著者
Buchberger, Bruno1, 著者
Cimatti, Alessandro1, 著者
Davenport, James H.1, 著者
England, Matthew1, 著者
Fontaine, Pascal1, 著者
Forrest, Stephen1, 著者
Griggio, Alberto1, 著者
Kroening, Daniel1, 著者
Seiler, Werner M.1, 著者
Sturm, Thomas2, 著者           
所属:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

内容説明

表示:
非表示:
キーワード: Computer Science, Symbolic Computation, cs.SC,Computer Science, Logic in Computer Science, cs.LO
 要旨: Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2016-07-232016
 出版の状態: オンラインで出版済み
 ページ: 3 p.
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: arXiv: 1607.06945
URI: http://arxiv.org/abs/1607.06945
BibTex参照ID: Sturm1607.06945
 学位: -

関連イベント

表示:

訴訟

表示:

Project information

表示:

出版物

表示: