informs proofs_860