Source: EXACT COVER BY 3-SETS
Target: EXPECTED COMPONENT SUM
Reference: Garey & Johnson, SP18, p.224-225
Specialization Note
This rule's source problem (EXACT COVER BY 3-SETS / X3C) is a specialization of MINIMUM SET COVERING. Implementation should wait until X3C is available as a codebase model.