约束规划

研究人员提出SEER框架，通过机器学习构建预测器，动态决定是否在约束求解中运行计算成本较高的能量推理传播器，以平衡求解效率与计算开销。