BriefGPT.xyz
Ask
alpha
关键词
answer set solver
搜索结果 - 1
MM
使用 clasp 进行多线程 ASP 求解
介绍了多线程版本的先进求解器 clasp，详细阐述其组件和通信体系结构，并说明如何支持其主要功能。同时，我们提供了 clasp 处理不同约束类型所使用的数据表示的一些见解。伴随着大量的实验分析揭示了多线程中 clasp 的主要特征。
PDF
12 years ago
Prev
Next