An Average Running Time Analysis of a Backtracking Algorithm to Calculate the Size of the Union of Cartesian Products.