Integer Linear Programming Models and Greedy Heuristic for the Minimum Weighted Independent Dominating Set Problem | Synapse