Clingo goes linear constraints over reals and integers

Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub. Clingo goes linear constraints over reals and integers. TPLP, 17(5-6):872-888, 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

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

Torsten Schaub

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