![](https://www.pdfsearch.io/img/3afdb34f5870d3b8811316a31ffc3651.jpg) Date: 2014-07-24 18:46:22
| | A DPLL(T ) Theory Solver for a Theory of Strings and Regular Expressions? Tianyi Liang1 , Andrew Reynolds1 , Cesare Tinelli1 , Clark Barrett2 , and Morgan Deters2 1 2Add to Reading ListSource URL: lara.epfl.chDownload Document from Source Website File Size: 1,05 MBShare Document on Facebook
|