TY  - JOUR
A1  - Banbara, Mutsunori
A1  - Kaufmann, Benjamin
A1  - Ostrowski, Max
A1  - Schaub, Torsten H.
T1  - Clingcon: The next generation
JF  - 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
U6  - https://doi.org/10.1017/S1471068417000138
SN  - 1471-0684
SN  - 1475-3081
VL  - 17
SP  - 408
EP  - 461
PB  - Cambridge Univ. Press
CY  - New York
ER  -