Approximation algorithms design for disk partial covering problem | IEEE Conference Publication | IEEE Xplore