A linear algorithm for resource four-partitioning four-connected planar graphs | IEEE Conference Publication | IEEE Xplore