Decomposition and parallelization techniques for enumerating the facets of combinatorial polytopes - Christof, Thomas; Reinelt, Gerhard (International journal of computational geometry & applications, 2001)