Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}