Dataset Groups Activity Stream Labyrinth (LB) dataset The dataset used in this paper is the Labyrinth (LB) dataset, which is a benchmark problem for constraint answer set programming. BibTex: @dataset{Yuliya_Lierler_2024, abstract = {The dataset used in this paper is the Labyrinth (LB) dataset, which is a benchmark problem for constraint answer set programming.}, author = {Yuliya Lierler}, doi = {10.57702/amu2srw2}, institution = {No Organization}, keyword = {'Constraint Answer Set Programming', 'Labyrinth', 'SMT-based approach'}, month = {dec}, publisher = {TIB}, title = {Labyrinth (LB) dataset}, url = {https://service.tib.eu/ldmservice/dataset/labyrinth--lb--dataset}, year = {2024} }
