188 resultados para verification algorithm
Equality Set Projection: A new algorithm for the projection of polytopes in halfspace representation