Minimum Pairwise Coverage Using Constraint Programming Techniques