Benjamin Kaufmann

Clingcon: The Next Generation

2017 · arXiv (Cornell University)

We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predecessors rely on a black-box approach to hybrid solving by …