P
Initializing...
Same-vertex planar completion with exact edge count · Prove2Me