FATCOP
NLBranch
MW-QAP
L-Shaped
Verify
DGSOL
Verify

Stochastic Verification on Metacomputing Environments.
Golbon Zakeri

Verify is a solver that takes a candidate solution to a 2 stage stochastic linear program and builds a probabilistic confidence interval around the deviation of the candidate value from the true optimal value. This is a way of verifying the measure of goodness of a candidate solution, that may have been obtained by considering a sampled approximation to the original problem.

Verify is available for use through the (test) NEOS Server Verify Interface.

More information on Verify :



metaneos@mcs.anl.gov
Last modified: Mon Jul 3 23:14:41 CDT 2000