High-Level Abstractions for Simplifying Extended String Constraints in SMT.

Andrew Reynolds Andres Nötzli Clark W. Barrett Cesare Tinelli

Published in: CAV (2) (2019)

Keyphrases

high level abstractions
constraint satisfaction
string matching
linear constraints
learning algorithm
image segmentation
multiscale
objective function
data structure
logic programs