A Complete and Efficient Algorithm for Searching 3-D Form-Closure Grasps in the Discrete Domain | Synapse