Login / Signup
An efficient SMT solver for string constraints.
Tianyi Liang
Andrew Reynolds
Nestan Tsiskaridze
Cesare Tinelli
Clark W. Barrett
Morgan Deters
Published in:
Formal Methods Syst. Des. (2016)
Keyphrases
</>
constraint solving
constraint solver
database
hamming distance
hard constraints
np hard
information extraction
linear programming
constraint programming
linear constraints
string matching