@inproceedings{DBLP:conf/lpnmr/JanhunenKOSSW17, title = {clingo goes Linear Constraints over Reals and Integers}, author = {Janhunen, Tomi and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Schellhorn, Sebastian and Wanko, Philipp}, booktitle = {ASPOCP@LPNMR}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, volume = {1868}, year = {2017} }