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 journal › Article › peer-review

Original language	English (US)
Article number	to appear
Journal	Formal Methods in System Design
State	Accepted/In press - 2015

Cite this

@article{8d3c796566bd4d748af871b195ca2a53,

title = "An efficient DPLL(T) solver for a theory of strings and regular expressions",

author = "Tianyi Liang and Andrew Reynolds and Nestan Tsiskaridze and Cesare Tinelli and Clark Barrett and Morgan Deters",

year = "2015",

language = "English (US)",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

}