You're currently viewing an old version of this dataset. To see the current version, click here.

Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems

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.

Data and Resources

This dataset has no data

Cite this as

Thomas Eiter, Zeynep G. Saribatur, Peter Sch¨uller (2024). Dataset: Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. https://doi.org/10.57702/lyzcn96n

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field	Value
Created	December 16, 2024
Last update	December 16, 2024
Defined In	https://doi.org/10.48550/arXiv.1909.04998
Author	Thomas Eiter
More Authors	Zeynep G. Saribatur Peter Sch¨uller