Decision Procedures for String Constraints

Author:
Hooimeijer, Pieter, Computer Science - School of Engineering and Applied Science, University of Virginia
Advisor:
Weimer, Westley, Department of Computer Science, University of Virginia
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