Finding k-Pareto optimals for the Constrained CP-net problem