1 published article
人工智能
研究人员在约束编程中提出了一种用于差分约束的全局传播器，取代了标准的逐约束传播方法。该方法利用了SMT理论求解器，但将其适配于具有解释支持的有限域传播，有望加速调度和规划问题的求解。
2026-07-30