informs proofs_1165