寻找成本受限的最优计划缩减：改进模型

论文研究一种计划后处理问题：当预算收紧、原有动作及其顺序必须保留时，从预计算计划中删除支持低效用目标的动作，提取可执行且效用最大的子计划。作者证明判定问题为NP完全，并提出基于超额订购规划和整数线性规划的两种精确方法，重点改进了ILP模型以减少规模、提升求解效率。