RT-Z: An Integration of Z and timed CSP.

Published in: IFM (1999)

Keyphrases

constraint satisfaction problems
petri net
special case
artificial intelligence
information retrieval
np hard
constraint satisfaction
data mining
social networks
case study
objective function
computational complexity
information integration
decomposition methods