Answer Set Solving in Practice
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
- Anthology ID:
- DBLP:series/synthesis/2012Gebser
- Volume:
- 2012
- Year:
- 2012
- Venue:
- synthesis_series
- Publisher:
- Morgan & Claypool Publishers
- URL:
- https://doi.org/10.2200/S00457ED1V01Y201211AIM019
- DOI:
- 10.2200/S00457ED1V01Y201211AIM019
- DBLP:
- series/synthesis/2012Gebser
