Dataset Groups Activity Stream Reverse Folding (RF) dataset The dataset used in this paper is the Reverse Folding (RF) 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 Reverse Folding (RF) dataset, which is a benchmark problem for constraint answer set programming.}, author = {Yuliya Lierler}, doi = {10.57702/652or2no}, institution = {No Organization}, keyword = {'Constraint Answer Set Programming', 'Reverse Folding', 'SMT-based approach'}, month = {dec}, publisher = {TIB}, title = {Reverse Folding (RF) dataset}, url = {https://service.tib.eu/ldmservice/dataset/reverse-folding--rf--dataset}, year = {2024} }
