History: the Operations Research Center