The algorithm is based on a clever design of linear program using parametric pruning and then rounding an extreme point solution of the linear program deterministically.
Models can contribute to clarifying logical relationships between particular assumptions and conclusions but only by oversimplifying the real world to an extreme point.