Zur Seitenansicht
 

Titelaufnahme

Titel
Bit-Vector Rewriting using Union-Find with Offsets / Author Christoph Sperl
AutorInnenSperl, Christoph
Beurteiler / BeurteilerinBiere, Armin
ErschienenLinz, Mai 2016
UmfangIII, 61 Blätter : Illustrationen
HochschulschriftUniversität Linz, Masterarbeit, 2016
Anmerkung
Kurzfassungen in deutscher und englischer Sprache
SpracheEnglisch
DokumenttypMasterarbeit
Schlagwörter (GND)Bitvektor / Reduktionssystem / Erfüllbarkeitsproblem / SMT Solver / Kongruenzrelation
URNurn:nbn:at:at-ubl:1-9456 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist gemäß den "Hinweisen für BenützerInnen" verfügbar
Dateien
Bit-Vector Rewriting using Union-Find with Offsets [0.72 mb]
Links
Nachweis
Klassifikation
Statistik
Das PDF-Dokument wurde 52 mal heruntergeladen.