Experimental Data for IASCAR
收藏arXiv2025-09-30 收录
下载链接：
https://doi.org/10.5281/zenodo.10091992
下载链接
链接失效反馈官方服务：
资源简介：
该数据集用于实证分析，旨在评估IASCAR方法的可行性和局限性。它包含了在假设条件下计算答案集的功能，并能够评估各种人工智能问题、ASP问题、组合谜题以及图论问题。该数据集的任务是进行增量答案集计数。
This dataset is designed for empirical analysis, aiming to evaluate the feasibility and limitations of the IASCAR method. It includes the functionality to compute answer sets under hypothetical conditions, and is capable of assessing various artificial intelligence problems, ASP problems, combinatorial puzzles, and graph theory problems. The core task of this dataset is incremental answer set counting.
提供机构：
Fichte et al.
