> I am not sure what all the products are sisj

These symbols are intended to refer to the areas of overlap between the circular sections s_i and s_j.

It is an odd notation and it's not one that I've seen before. You can infer what it means though when earlier in the paper they refer to the "product" C * P_n as the "part of P_n lying in C".