The Construction of Minimal Set-Covering Model for TagSNP Selection Problem and Heuristic Function Algorithm | IEEE Conference Publication | IEEE Xplore