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].

An efficient DPLL(T) solver for a theory of strings and regular expressions. / Liang, Tianyi; Reynolds, Andrew ; Tsiskaridze, Nestan; Tinelli, Cesare; Barrett, Clark; Deters, Morgan.

In: Formal Methods in System Design, 2015.

Research output: Contribution to journalArticle

Liang, T, Reynolds, A, Tsiskaridze, N, Tinelli, C, Barrett, C & Deters, M 2015, 'An efficient DPLL(T) solver for a theory of strings and regular expressions', Formal Methods in System Design.
Liang T, Reynolds A, Tsiskaridze N, Tinelli C, Barrett C, Deters M. An efficient DPLL(T) solver for a theory of strings and regular expressions. Formal Methods in System Design. 2015. to appear.
Liang, Tianyi ; Reynolds, Andrew ; Tsiskaridze, Nestan ; Tinelli, Cesare ; Barrett, Clark ; Deters, Morgan. / An efficient DPLL(T) solver for a theory of strings and regular expressions. In: Formal Methods in System Design. 2015.
@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",

}

TY - JOUR

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

AU - Liang, Tianyi

AU - Reynolds, Andrew

AU - Tsiskaridze, Nestan

AU - Tinelli, Cesare

AU - Barrett, Clark

AU - Deters, Morgan

PY - 2015

Y1 - 2015

M3 - Article

JO - Formal Methods in System Design

JF - Formal Methods in System Design

SN - 0925-9856

M1 - to appear

ER -