Sign in

An efficient SMT solver for string constraints.

Tianyi LiangAndrew ReynoldsNestan TsiskaridzeCesare TinelliClark W. BarrettMorgan 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