Login / Signup
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