Mathematical programming formulations can yield faulty answers. Models can be unbounded, infeasible, or optimal with unrealistic answers. This article presents techniques for theory-based discovery of the cause of faulty models. The approaches are demonstrated in the context of linear...

The forest and agriculture sectors are linked by having a portion of their land bases suitable for use in either sector. A substantial part of the southern land base is suitable for either forestry or agriculture use, with most tree planting on U.S. agriculture land in the South. We examine how...