A faster checker of the energetic reasoning for the cumulative scheduling problem.
Jacques CarlierAbderrahim SahliAntoine JougletEric PinsonPublished in: Int. J. Prod. Res. (2022)
Keyphrases
- scheduling problem
- single machine
- processing times
- flowshop
- knowledge base
- np hard
- parallel machines
- tabu search
- reasoning process
- total tardiness
- earliness tardiness
- minimizing makespan
- precedence constraints
- release dates
- setup times
- job shop scheduling problem
- meta level
- special case
- maximum lateness
- analogical reasoning
- causal reasoning
- rule based reasoning
- sequence dependent setup times
- model based reasoning
- formal models
- highly efficient
- single machine scheduling problem
- reasoning systems
- memory efficient
- neural network
- reasoning tasks
- automated reasoning
- upper bound