Article,
Potassco: The Potsdam Answer Set Solving Collection.
M. Gebser, B. Kaufmann, R. Kaminski, M. Ostrowski, T. Schaub, and M. Schneider.AI Commun., 24 (2): 107-124 (2011)
Meta data
- BibTeX key
- journals/aicom/GebserKKOSS11
- entry type
- article
- year
- 2011
- journal
- AI Commun.
- number
- 2
- pages
- 107-124
- volume
- 24
- ee
- https://doi.org/10.3233/AIC-2011-0491
- url
- http://dblp.uni-trier.de/db/journals/aicom/aicom24.html#GebserKKOSS11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/aicom/GebserKKOSS11
%A Gebser, Martin
%A Kaufmann, Benjamin
%A Kaminski, Roland
%A Ostrowski, Max
%A Schaub, Torsten
%A Schneider, Marius
%D 2011
%J AI Commun.
%K
%N 2
%P 107-124
%T Potassco: The Potsdam Answer Set Solving Collection.
%U http://dblp.uni-trier.de/db/journals/aicom/aicom24.html#GebserKKOSS11
%V 24
@article{journals/aicom/GebserKKOSS11,
added-at = {2023-12-12T18:01:46.000+0100},
author = {Gebser, Martin and Kaufmann, Benjamin and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Schneider, Marius},
biburl = {https://www.bibsonomy.org/bibtex/2af973c3aaa300cce78d386184f40bcb3/admin},
ee = {https://doi.org/10.3233/AIC-2011-0491},
interhash = {0c5db40e9566b755a164979100430594},
intrahash = {af973c3aaa300cce78d386184f40bcb3},
journal = {AI Commun.},
keywords = {},
number = 2,
pages = {107-124},
timestamp = {2023-12-12T18:01:46.000+0100},
title = {Potassco: The Potsdam Answer Set Solving Collection.},
url = {http://dblp.uni-trier.de/db/journals/aicom/aicom24.html#GebserKKOSS11},
volume = 24,
year = 2011
}