Keyphrases
- job shop scheduling
- timed automata
- model checking
- job shop scheduling problem
- reachability analysis
- scheduling problem
- theorem prover
- combinatorial optimization problems
- theorem proving
- first order logic
- real time systems
- resource constraints
- temporal logic
- neural network
- expert systems
- machine learning
- optimization algorithm
- computational intelligence
- objective function
- genetic algorithm