scientific article; zbMATH DE number 7453150
From MaRDI portal
Publication:5020596
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.08263
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- GASP: Answer Set Programming with Lazy Grounding
- Graphs and colorings for answer set programming
- Experimenting with parallelism for the instantiation of ASP programs
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
- The Semantics of Predicate Logic as a Programming Language
This page was built for publication: