An ant-algorithm for the weighted minimum hitting set problem | IEEE Conference Publication | IEEE Xplore