Solving the ignoring problem for partial order reduction.
Sami EvangelistaChristophe PajaultPublished in: Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases
- partial order reduction
- model checking
- petri net
- relational databases
- combinatorial optimization
- three dimensional
- databases
- data sets
- metadata
- reinforcement learning
- computational complexity
- real time
- control system
- constraint satisfaction problems
- artificial intelligence
- learning algorithm
- solving problems
- nonlinear programming