Compilation of tight ASP programs
From MaRDI portal
DOI10.5281/zenodo.8179111Zenodo8179111MaRDI QIDQ6702055FDOQ6702055
Dataset published at Zenodo repository.
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
Publication date: 24 July 2023
Copyright license: Creative Commons Attribution 4.0 International
This repository contains benchmarks and executable used to assess the performance of ProASP systems.
This page was built for dataset: Compilation of tight ASP programs
