Automatic Radiofrequency Ablation Planning for Liver Tumors With Multiple Constraints Based on Set Covering | IEEE Journals & Magazine | IEEE Xplore