TY  - RPRT
TI  - Clingcon: The Next Generation
AU  - Mutsunori Banbara
AU  - Benjamin Kaufmann
AU  - Max Ostrowski
AU  - Torsten Schaub
PY  - 2017
UR  - https://arxiv.org/abs/1705.04569
ID  - 1705.04569
ER  -