Compilation of tight ASP programs

DOI10.5281/zenodo.8179111ZenodoMaRDI QIDQ6702055FDO

Authors Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca

Publication date 24 July 2023

Copyright license Creative Commons Attribution 4.0 International

Description

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