Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem.   II. The Unimodular Two-Dimensional Case
  We give an algorithm for testing the extremality of a large class of minimal valid functions for the two-dimensional infinite group problem. 
Amitabh Basu, Robert Hildebrand, Matthias K\"oppe
math.OC cs.DM