Certifying 3-connectivity in linear time

From MaRDI portal
Publication:2843301