Technical Note - A New Proof of the Optimality of the Shortest Remaining Processing Time Discipline.

Donald R. Smith

Published in: Oper. Res. (1978)

Keyphrases

information systems
linear logic
software engineering
shortest path
optimal solution
computer science
proof planning
theorem proving
mathematical proofs
special case
objective function
decision trees
decision making
automated theorem proving
proof search
neural network
automated theorem provers
database