An efficient DPLL(T) solver for a theory of strings and regular expressions

Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark Barrett, Morgan Deters

Research output: Contribution to journalArticle

Original languageEnglish (US)
Article numberto appear
JournalFormal Methods in System Design
StateAccepted/In press - 2015

Cite this

Liang, T., Reynolds, A., Tsiskaridze, N., Tinelli, C., Barrett, C., & Deters, M. (Accepted/In press). An efficient DPLL(T) solver for a theory of strings and regular expressions. Formal Methods in System Design, [to appear].