TY  - JOUR
A1  - Banbara, Mutsunori
A1  - Kaufmann, Benjamin
A1  - Ostrowski, Max
A1  - Schaub, Torsten H.
T1  - Clingcon: The next generation
T2  - Theory and practice of logic programming
KW  - Constraint Answer Set Programming (CASP)
KW  - Answer Set Programming (ASP)
KW  - Sat Modulo Theories (SMT)
KW  - Constraint Programming (CP)
Y1  - 2017
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/46556
SN  - 1471-0684
SN  - 1475-3081
VL  - 17
SP  - 408
EP  - 461
PB  - Cambridge Univ. Press
CY  - New York
ER  -