Using Metric Temporal Logic to Specify Scheduling Problems.
Roy LuoRichard Anthony ValenzanoYi LiJ. Christopher BeckSheila A. McIlraithPublished in: KR (2016)
Keyphrases
- metric temporal logic
- scheduling problem
- single machine
- processing times
- flowshop
- job shop scheduling
- job shop scheduling problem
- setup times
- np hard
- precedence constraints
- tabu search
- sequencing problems
- greedy heuristics
- parallel machines
- job shop
- total tardiness
- sequence dependent setup times
- release dates
- optimal scheduling
- earliness tardiness
- list scheduling
- limited capacity
- genetic algorithm
- dynamic programming
- quay crane
- data structure