Alexander Below Jesús A. De Loera Jürgen Richter-Gebert The complexity of finding small triangulations of convex 3-polytopes. 134-167 2004 50 J. Algorithms 2 http://dx.doi.org/10.1016/S0196-6774(03)00092-0 db/journals/jal/jal50.html#BelowLR04