Computing Convex Hulls With a Linear Solver

Theory and Practice of Logic Programming - United Kingdom
doi 10.1017/s1471068404002261