Susmit Jha Sanjit A. Seshia Rhishikesh Limaye On the Computational Complexity of Satisfiability Solving for String Theories http://arxiv.org/abs/0903.2825 2009 CoRR abs/0903.2825 db/journals/corr/corr0903.html#abs-0903-2825 informal publication