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

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

DOI retrieved: December 16, 2024

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