Login / Signup

Trau: SMT solver for string constraints.

Parosh Aziz AbdullaMohamed Faouzi AtigYu-Fang ChenBui Phi DiepLukás HolíkAhmed RezinePhilipp Rümmer
Published in: FMCAD (2018)
Keyphrases
  • constraint solver
  • constraint solving
  • pattern matching
  • data structure
  • constrained optimization
  • neural network
  • lower bound
  • constraint satisfaction
  • hard constraints