Ablock decomposition algorithm for an extension of the vertex cover problem Conference Paper 2024 Congress communication