operations research notes