Extracting a planar spanning subgraph of a terminal-vertex graph by solving the independent set problem | IEEE Conference Publication | IEEE Xplore