That article really lacks details on how the seeding is done, and how tiebreakers are broken once the tournament begins.
Based on last years standings, Miami and Louisville would have been #1 and #2 respectively. Pitt and VaTech would have been left out and there would have to be a tie breaker between Wake and UNC (both 13-17, 0.433 in conference) for the twelfth team in and and first team out.