Analysis and Implementation of LIA solvers: CutSAT and BBSAT

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

Analysis and Implementation of LIA solvers: CutSAT and BBSAT

Bromberger, M. (2016). Analysis and Implementation of LIA solvers: CutSAT and BBSAT. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002C-410C-6 版のパーマリンク: https://hdl.handle.net/21.11116/0000-000E-3406-1

資料種別: 学位論文

LaTeX : Analysis and Implementation of {LIA} solvers: {CutSAT} and {BBSAT}

表示:

非表示:

作成者:
Bromberger, Martin¹, 著者
Weidenbach, Christoph¹, 学位論文主査
Sturm, Thomas¹, 監修者

所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

非表示:

言語: eng - English

日付: 受理: 2016出版: 2016

出版の状態: 出版

ページ: 34 p.

出版情報: Saarbrücken : Universität des Saarlandes

目次: -

査読: -

識別子（DOI, ISBNなど）: BibTex参照ID: BrombergerMaster2016

学位: 修士号 (Master)