P450: Enumerate all vertices of a convex polyhedron

P450: Enumerate all vertices of a convex polyhedron
Input:
A convex polyhedron $X$
Output:
All vertices of $X$.
Complexity:
Comment:
They use a linear programming.
Reference:
[Manas1968] (Bibtex)