BibTeX record conf/lpnmr/JanhunenKOSSW17

• > Home > conf/lpnmr/JanhunenKOSSW17

@inproceedings{DBLP:conf/lpnmr/JanhunenKOSSW17,
  author       = {Tomi Janhunen and
                  Roland Kaminski and
                  Max Ostrowski and
                  Torsten Schaub and
                  Sebastian Schellhorn and
                  Philipp Wanko},
  editor       = {Bart Bogaerts and
                  Amelia Harrison},
  title        = {clingo goes Linear Constraints over Reals and Integers},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1868},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1868/p4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:44 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/JanhunenKOSSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}