-
Robotics (RB) dataset
The dataset used in this paper is the Robotics (RB) dataset, which is a benchmark problem for constraint answer set programming. -
Labyrinth (LB) dataset
The dataset used in this paper is the Labyrinth (LB) dataset, which is a benchmark problem for constraint answer set programming. -
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. -
Weighted Sequence (WS) dataset
The dataset used in this paper is the Weighted Sequence (WS) dataset, which is a benchmark problem for constraint answer set programming. -
Blending (BL) dataset
The dataset used in this paper is the Blending (BL) dataset, which is a benchmark problem for constraint answer set programming. -
Car and Generator (GN) dataset
The dataset used in this paper is the Car and Generator (GN) dataset, which is a benchmark problem for constraint answer set programming. -
Traveling Salesman Problem (TS) dataset
The dataset used in this paper is the Traveling Salesman Problem (TS) dataset, which consists of a set of instances with each instance I assigned a finite set of solutions.
