Online Archive of University of Virginia Scholarship
Decision Procedures for String Constraints
530 views
Author
Hooimeijer, Pieter, Computer Science - School of Engineering and Applied Science, University of Virginia
Advisors
Weimer, Westley
, Department of Computer Science
, University of Virginia
Abstract
Degree
PHD (Doctor of Philosophy)
Keywords
strings; decision procedures; constraint solving
Language
English
Rights
All rights reserved (no additional license for public reuse)
Issued Date
2012-04-27
Persistent Link
https://doi.org/10.18130/V3R49X
Suggested Citation
Hooimeijer, Pieter. Decision Procedures for String Constraints. University of Virginia, Computer Science - School of Engineering and Applied Science, PHD (Doctor of Philosophy), 2012-04-27, https://doi.org/10.18130/V3R49X.
Files
merged.pdf
Downloads: 430
Download
opens in a new window
