Reachability search in timed Petri nets using constraint programming.
Olfa Belkahla DrissPascal YimOuajdi KorbaaKhaled GhédiraPublished in: SMC (5) (2004)
Keyphrases
- constraint programming
- search strategies
- symmetry breaking
- search heuristics
- constraint satisfaction problems
- constraint propagation
- constraint solver
- backtrack search
- constraint satisfaction
- combinatorial problems
- search algorithm
- search space
- global constraints
- search strategy
- arc consistency
- constraint logic programming
- column generation
- finite domain
- timed petri nets
- machine learning
- search methods
- high throughput
- state space
- limited discrepancy search