MMOct, 2012

使用 clasp 进行多线程 ASP 求解

TL;DR介绍了多线程版本的先进求解器 clasp,详细阐述其组件和通信体系结构,并说明如何支持其主要功能。同时,我们提供了 clasp 处理不同约束类型所使用的数据表示的一些见解。伴随着大量的实验分析揭示了多线程中 clasp 的主要特征。