PulseAugur
中
实时 06:41:30
实体 Difference Constraints

Difference Constraints

PulseAugur coverage of Difference Constraints — every cluster mentioning Difference Constraints across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_158539 ·

    新的全局差分约束传播器提高了约束规划的效率

    研究人员开发了一种新的约束规划中的全局差分约束传播器。该方法同时处理所有差分约束，提供比标准传播技术更有效的方法。新的传播器还可以为其操作提供解释，使其适用于惰性子句生成求解器。实验表明，与传统方法相比，这种全局处理显著提高了性能。