SharpASP Artifact
收藏官方服务：
资源简介：
The artifact (the code, binaries, benchmark, logfiles, etc) of Exact ASP Counting with Compact Encodings
基于紧凑编码的精确Answer Set Programming（ASP）计数的研究工件（包含代码、二进制文件、基准测试集、日志文件等
提供机构：
Zenodo创建时间：
2026-04-16
社区交流群
科研交流群
商业服务