Added encoding for independent dominating set