英辞郎 第五版

簡単に探しただけで色々出てくる。

linear programming 線形計画法◆【略】LP
mixed integer programming 混合整数計画法◆【略】MIP
semidefinite programming 半定値計画法◆【略】SDP
shortest path problem 最短経路問題
traveling salesman problem 《数学》巡回セールスマン問題

ちなみに Opteron , Xeon も載っている。