Proof of a conjecture of Schrage about the completion time variance problem.

Nicholas G. Hall Wieslaw Kubiak

Published in: Oper. Res. Lett. (1991)

Keyphrases

theorem proving
theorem prover
web pages
database
machine learning
information systems
decision making
multi agent
multi agent systems
denoising
covariance matrix
correlation coefficient
prediction error
automated theorem proving
proof theory
maximum variance