%0 Journal Article %1 journals/corr/BanbaraKOS17 %A Banbara, Mutsunori %A Kaufmann, Benjamin %A Ostrowski, Max %A Schaub, Torsten %D 2017 %J CoRR %K %T Clingcon: The Next Generation. %U http://dblp.uni-trier.de/db/journals/corr/corr1705.html#BanbaraKOS17 %V abs/1705.04569

@article{journals/corr/BanbaraKOS17, added-at = {2023-12-13T01:31:16.000+0100}, author = {Banbara, Mutsunori and Kaufmann, Benjamin and Ostrowski, Max and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/24ee5961a05bcc001a869365912d0fc6b/admin}, ee = {http://arxiv.org/abs/1705.04569}, interhash = {72b80ed30623d6f967e2adc8c6ad6fd8}, intrahash = {4ee5961a05bcc001a869365912d0fc6b}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T01:31:16.000+0100}, title = {Clingcon: The Next Generation.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#BanbaraKOS17}, volume = {abs/1705.04569}, year = 2017 }