Ulrich Betke Martin Henk Densest lattice packings of 3-polytopes. 157-186 2000 16 Comput. Geom. 3 db/journals/comgeo/comgeo16.html#BetkeH00