%0 Conference Paper %1 conf/iclp/GebserKKOSW16 %A Gebser, Martin %A Kaminski, Roland %A Kaufmann, Benjamin %A Ostrowski, Max %A Schaub, Torsten %A Wanko, Philipp %B ICLP (Technical Communications) %D 2016 %E Carro, Manuel %E King, Andy %E Saeedloei, Neda %E Vos, Marina De %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 2:1-2:15 %T Theory Solving Made Easy with Clingo 5. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#GebserKKOSW16 %V 52 %@ 978-3-95977-007-1

@inproceedings{conf/iclp/GebserKKOSW16, added-at = {2023-03-21T00:00:00.000+0100}, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Ostrowski, Max and Schaub, Torsten and Wanko, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/2172faaab1b7b3ba707e70ea7398eb894/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2016}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and Vos, Marina De}, ee = {https://doi.org/10.4230/OASIcs.ICLP.2016.2}, interhash = {d99664422ceb47b9989f0fa2aab10bba}, intrahash = {172faaab1b7b3ba707e70ea7398eb894}, isbn = {978-3-95977-007-1}, keywords = {dblp}, pages = {2:1-2:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-08-26T07:18:48.000+0200}, title = {Theory Solving Made Easy with Clingo 5.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#GebserKKOSW16}, volume = 52, year = 2016 }