Constraint-based Task Specification and Trajectory Optimization for Sequential Manipulation | AMiner