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.
BibTex:
