Efficient provably good OPC modeling and its applications to interconnect optimization | IEEE Conference Publication | IEEE Xplore