On the redundancy of transitivity constraints in the clique partitioning problem (ArXiv cs.DM Recent Papers, 2026)