Approximation and FPT Algorithms for Finding DM-Irreducible Spanning Subgraphs | Synapse