A computational technique for solving optimization problems by expressing constraints as polynomial inequalities that can be verified efficiently.