HAMPI: a solver for string constraints.

Adam Kiezun Vijay Ganesh Philip J. Guo Pieter Hooimeijer Michael D. Ernst

Published in: ISSTA (2009)

Keyphrases

constraint solving
pattern matching
learning algorithm
social networks
constraint satisfaction
constrained optimization
hard constraints
constraint solver
database
knowledge base
data structure
neural network
decision trees
geometric constraints