Added encoding for Minimum Independent Dominating Set