Timed CSP: Theory and Practice.
Steve A. SchneiderJim DaviesD. M. JacksonGeorge M. ReedJoy N. ReedA. W. RoscoePublished in: REX Workshop (1991)
Keyphrases
- constraint satisfaction problems
- theoretical framework
- petri net
- theoretical insights
- general theory
- search algorithm
- markov chain
- constraint satisfaction
- information theory
- arc consistency
- tree decompositions
- data sets
- arc consistency algorithm
- theoretical frameworks
- formal theory
- discrete event
- theoretical basis
- case study
- decision trees