Inclusion Constraints over Non-empty Sets of Trees.

Martin Müller Joachim Niehren Andreas Podelski

Published in: TAPSOFT (1997)

Keyphrases

constraint sets
constraint satisfaction
decision trees
constraint propagation
linear constraints
tree automata
data sets
co occurrence
tree structures
soft constraints
cardinality constraints
multiple constraints