P481: Enumeration of all vertex of a convex polyhedron

P481: Enumeration of all vertex of a convex polyhedron

Input:

$m$ inequalities with $n$ variables.

Output:

All vertex of a convex polyhedron represented by the given inequalities.

Complexity:

Comment:

Reference:

[Altherr1975] (Bibtex)