“…The actual factorization can be used to explicitly find the smallest reformulation. This line of research started with a seminal paper by Yannakakis [24], and has recently seen a flurry of research activity -see the surveys [15,7] and [10,9,21,6,16,22,17,5] for some of the most recent breakthroughs.…”