Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
收藏DataCite Commons2026-01-07 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/70f0c8c4-0f6b-4646-8ec4-3428b1ebc9cc
下载链接
链接失效反馈官方服务：
资源简介：
The dataset used in the paper is a set of grid-cell problems, including Sudoku and Reachability. The dataset is used to test the proposed abstraction method for solving these problems.
提供机构：
TIB
创建时间：
2024-12-16
