解决多配置问题：基于 Choco Solver 的性能分析

本文介绍了一种自动化算法配置框架，可通过改变参数优化算法性能，并提供了加速本地搜索的新技术。作者评估了该方法在SAT算法的完整和不完整算法上的结果，并提供了自动配置CPLEX混合整数规划求解器的首个已知结果。