Successful Termination in Timed CSP.

Paul Howells Mark d'Inverno

Published in: CPA (2013)

Keyphrases

constraint satisfaction problems
petri net
constraint satisfaction
decomposition methods
np hard
data sets
term rewriting
arc consistency algorithm
constraint propagation
constraint programming
search engine
genetic algorithm
temporal reasoning
data structure
arc consistency
colored petri nets
real world