SUNNY：一种用于约束求解的惰性组合方法
人工智能
2020-02-19 v2
摘要
*** 即将发表于《逻辑编程理论与实践》(TPLP) *** 在约束求解的背景下，组合方法允许利用不同求解器之间的协同效应，从而创建一个全局更优的求解器。在本文中，我们提出了 SUNNY：一种简单灵活的算法，它利用约束求解器组合，无需学习显式模型，即可为求解给定的约束满足问题 (CSP) 计算它们的调度方案。受 SUNNY 与其他最先进 (SOTA) 方法的不同模拟相比所达到的性能启发，我们开发了 sunny-csp，这是一种有效的组合求解器，利用底层的 SUNNY 算法来求解给定的 CSP。在 MiniZinc 模型的详尽基准上进行的实证测试表明，SUNNY 的实际性能符合预测。这对于提高 CSP 组合求解器的能力以及尝试将其扩展到答案集编程和约束逻辑编程等领域令人鼓舞。
引用
@article{arxiv.1311.3353,
title = {SUNNY: a Lazy Portfolio Approach for Constraint Solving},
author = {Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro},
journal= {arXiv preprint arXiv:1311.3353},
year = {2020}
}