See "Efficient parallel facet enumeration for 0/1-polytopes" (1997), Preprint,
by T. Christof and G. Reinelt, Univ. of Heidelberg, for algorithmic details.