A Survey and Comparison of Methods for Finding All Vertices of Convex Polyhedral Sets | Synapse