%0 Journal Article %1 journals/tplp/JanhunenKOSWS17 %A Janhunen, Tomi %A Kaminski, Roland %A Ostrowski, Max %A Schellhorn, Sebastian %A Wanko, Philipp %A Schaub, Torsten %D 2017 %J Theory Pract. Log. Program. %K %N 5-6 %P 872-888 %T Clingo goes linear constraints over reals and integers. %U http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#JanhunenKOSWS17 %V 17

@article{journals/tplp/JanhunenKOSWS17, added-at = {2023-12-13T10:15:53.000+0100}, author = {Janhunen, Tomi and Kaminski, Roland and Ostrowski, Max and Schellhorn, Sebastian and Wanko, Philipp and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/28bd8732090959f01fd1c10809eb8c6f4/admin}, ee = {https://doi.org/10.1017/S1471068417000242}, interhash = {d60b8136f076fb088f0913268f81bd26}, intrahash = {8bd8732090959f01fd1c10809eb8c6f4}, journal = {Theory Pract. Log. Program.}, keywords = {}, number = {5-6}, pages = {872-888}, timestamp = {2023-12-13T10:15:53.000+0100}, title = {Clingo goes linear constraints over reals and integers.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#JanhunenKOSWS17}, volume = 17, year = 2017 }