Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints.

Peter Lammich Markus Müller-Olm Alexander Wenner

Published in: CAV (2009)

Keyphrases

dynamic networks
dynamic environments
network analysis
model checking
constraint satisfaction
constraint programming
constraint sets
complex networks
genetic algorithm
data model
constrained optimization
mixed integer
network design
binary tree
tree construction
database systems
social networks