Letter to the Editor - A Proof of the Optimality of the Shortest Remaining Processing Time Discipline.

Published in: Oper. Res. (1968)

Keyphrases

image sequences
computer science
information systems
optimal solution
theorem proving
theorem prover
mathematical proofs
linear logic
path length
software engineering
mobile robot
proof planning
computer science education
shortest path
databases
lower bound
three dimensional
case study
real world