Analysis and Implementation of LIA solvers: CutSAT and BBSAT

Item

ITEM ACTIONSEXPORT

DownloadE-Mail

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_2382265_4

DetailsSummary

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 Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-410C-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-410D-4

Genre: Thesis

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

show

show

hide

Creators:
Bromberger, Martin¹, Author
Weidenbach, Christoph¹, Advisor
Sturm, Thomas¹, Referee

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

show

show

hide

Language(s): eng - English

Dates: Accepted: 2016Date issued: 2016

Publication Status: Issued

Pages: 34 p.

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: BrombergerMaster2016

Degree: Master

show

show

show

show