Keywords: graph planarity, planarity testing, Boyer–Myrvold algorithm, Kuratowski/Wagner theorem, depth-first search (DFS), lowpoint values, articulation points, biconnected components, graph embedding, graph6 formatPublished in RUP: 04.10.2025; Views: 374; Downloads: 0