Nov, 2013
SUNNY:一种针对约束求解的惰性组合投资策略
SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs
TL;DR本文提出了一种名为 SUNNY 的算法,利用约束求解器的组合来求解 Constraint Satisfaction Problem,通过实验表明 SUNNY 算法效果优于其他现有算法,并提出了一个基于 SUNNY 的 portfolio solver -- sunny-csp,同时探讨了该算法用于 Answer Set Programming 和 Constraint Logic Programming 的可能性。