SMS dit: Algebraic methods for optimization problems