clingo goes Linear Constraints over Reals and Integers

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]

Authors

Tomi Janhunen

This author has not been identified. Look up 'Tomi Janhunen' in Google

Roland Kaminski

This author has not been identified. Look up 'Roland Kaminski' in Google

Max Ostrowski

This author has not been identified. Look up 'Max Ostrowski' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google

Sebastian Schellhorn

This author has not been identified. Look up 'Sebastian Schellhorn' in Google

Philipp Wanko

This author has not been identified. Look up 'Philipp Wanko' in Google