Compilation of tight ASP programs

From MaRDI portal

(Redirected from Dataset:6702055)

Jump to:navigation, search

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Compilation_of_tight_ASP_programs&oldid=54641321"