Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko. clingo goes Linear Constraints over Reals and Integers. In Bart Bogaerts 0001, Amelia Harrison, editors, Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. Volume 1868 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
Abstract is missing.