The soft-decision MLD of linear block codes, integer programming and Grobner bases | IEEE Conference Publication | IEEE Xplore