Go to page
 

Bibliographic Metadata

Title
Bit-Vector Rewriting using Union-Find with Offsets / Author Christoph Sperl
AuthorSperl, Christoph
CensorBiere, Armin
PublishedLinz, Mai 2016
DescriptionIII, 61 Blätter : Illustrationen
Institutional NoteUniversität Linz, Univ., Masterarbeit, 2016
Annotation
Kurzfassungen in deutscher und englischer Sprache
LanguageEnglish
Document typeMaster Thesis
Keywords (GND)Bitvektor / Reduktionssystem / Erfüllbarkeitsproblem / SMT Solver / Kongruenzrelation
URNurn:nbn:at:at-ubl:1-9456 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Bit-Vector Rewriting using Union-Find with Offsets [0.72 mb]
Links
Reference
Classification