Timed CSP: A Retrospective.
Joël OuaknineSteve A. SchneiderPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- constraint satisfaction problems
- petri net
- constraint satisfaction
- decomposition methods
- timed automata
- constraint programming
- constraint propagation
- arc consistency
- tree decomposition
- discrete event
- tree decompositions
- constraint graph
- image segmentation
- solving constraint satisfaction problems
- model checking
- sat problem
- arc consistency algorithm
- closest string
- finite state machines
- colored petri nets
- constraint solving
- non binary
- constraint networks
- data sets
- np complete
- markov chain
- np hard
- knowledge base
- neural network