TY  - RPRT
TI  - On the Computational Complexity of Satisfiability Solving for String Theories
AU  - Susmit Jha
AU  - Sanjit A. Seshia
AU  - Rhishikesh Limaye
PY  - 2009
UR  - https://arxiv.org/abs/0903.2825
ID  - 0903.2825
ER  -