Concurrent Type and Dimensional Synthesis of Planar Mechanisms Using Graph-Theoretic Enumeration, Automatic Loop Closure Equation Generation, and Descent-Based Optimization