Tarjan’s algorithm

https://en.wikipedia.org/wiki/Tarjan%27s_strongly_connected_components_algorithm

2-satisfiability

https://en.wikipedia.org/wiki/2-satisfiability

Cut Edges (Bridges)

https://en.wikipedia.org/wiki/Bridge_(graph_theory)

Cut Vertices (Articulation Points)

https://www.geeksforgeeks.org/articulation-points-or-cut-vertices-in-a-graph/