Holger Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub
TL;DR本研究提出了一种使用 Answer Set Programming 自动确定精细的、非均匀且有序的求解器调度方案的方法,并且可以定制化地生成并行调度方案。
Abstract
Although boolean constraint technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances and is