Time-Constrained Buffer Specifications in CSP+T and Timed CSP.
John J. ZicPublished in: ACM Trans. Program. Lang. Syst. (1994)
Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint satisfaction
- constraint propagation
- arc consistency
- constraint programming
- arc consistency algorithm
- constraint networks
- hypertree decomposition
- heuristic search
- planning problems
- petri net
- search space
- finite state machines
- sat problem
- soft constraints
- data streams
- constraint solving
- real time