Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko. The Potsdam Answer Set Solving Collection 5.0. KI, 32(2-3):181-182, 2018. [doi]
@article{GebserKKLOORSSW18, title = {The Potsdam Answer Set Solving Collection 5.0}, author = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Patrick Lühne and Philipp Obermeier and Max Ostrowski and Javier Romero 0003 and Torsten Schaub and Sebastian Schellhorn and Philipp Wanko}, year = {2018}, doi = {10.1007/s13218-018-0528-x}, url = {https://doi.org/10.1007/s13218-018-0528-x}, researchr = {https://researchr.org/publication/GebserKKLOORSSW18}, cites = {0}, citedby = {0}, journal = {KI}, volume = {32}, number = {2-3}, pages = {181-182}, }