An improved flow-based formulation and reduction principles for the minimum connectivity inference problem. (3rd October 2019)