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

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 詳細要約
  From DQBF to QBF by Dependency Elimination

Karrenbauer, A., Becker, R., Scholl, C., & Becker, B. (2017). From DQBF to QBF by Dependency Elimination. In S., Gaspers, & T., Walsh (Eds.), Theory and Applications of Satisfiability Testing -- SAT 2017 (pp. 326-343). Berlin: Springer. doi:10.1007/978-3-319-66263-3_21.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002D-FBAC-7 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002D-FBAD-5
資料種別: 会議論文
LaTeX : From {DQBF} to {QBF} by Dependency Elimination

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Karrenbauer, Andreas1, 著者           
Becker, Ruben1, 著者           
Scholl, Christoph2, 著者
Becker, Bernd2, 著者
所属:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              
2External Organizations, ou_persistent22              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 20172017
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: KarrenbauerSAT2017
DOI: 10.1007/978-3-319-66263-3_21
 学位: -

関連イベント

表示:
非表示:
イベント名: 20th International Conference on Theory and Applications of Satisfiability Testing
開催地: Melbourne, Australia
開始日・終了日: 2017-08-28 - 2017-09-01

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Theory and Applications of Satisfiability Testing -- SAT 2017
  省略形 : SAT 2017
  副タイトル : 20th International Conference ; Melbourne, VIC, Australia, August 28-September 1, 2017 ; Proceedings
種別: 会議論文集
 著者・編者:
Gaspers, Serge1, 編集者
Walsh, Toby1, 編集者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: Berlin : Springer
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 326 - 343 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-3-319-66262-6

出版物 2

表示:
非表示:
出版物名: Lecture Notes in Computer Science
  省略形 : LNCS
種別: 連載記事
 著者・編者:
所属:
出版社, 出版地: -
ページ: - 巻号: 10491 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: -