Approximating Unrelated Machine Weighted Completion Time Using Iterative Rounding and Computer Assisted Proofs.
Shi LiPublished in: CoRR (2024)
Keyphrases
- computer assisted
- flowshop
- scheduling problem
- single machine
- processing times
- special case
- intraoperative
- computer aided
- minimize total
- approximation algorithms
- linear programming
- tabu search
- parallel machines
- theorem proving
- foreign language
- linear programming relaxation
- theorem prover
- feasible solution
- dynamic programming
- np hard
- computer assisted instruction
- image processing