SMS: Linear programming and related techniques :