Delaying Constraint Solving in Symbolic Graph Transformation.

Fernando Orejas Leen Lambers

Published in: ICGT (2010)

Keyphrases

constraint solving
graph transformation
finite domain
constraint propagation
constraint logic programming
constraint satisfaction
constraint satisfaction problems
constraint solver
constraint programming
constraint solvers
high level
data structure
symbolic representation
tree search