Puneet Gill, Mahesh Tripunitara: Mining for the Minimum Number of Roles from Hard Inputs. CODASPY 2026: 3-14