#约束编程

让传播器学会排序：学习式优先级提升约束求解效率

一项研究将约束编程中传播器优先级分配建模为学习排序问题，使用自注意力模型和运行时偏好训练，在XCSP3基准上使Choco求解器多解20个实例，中位运行时间降低27.93%。