72 citations · 76 across the 7 of their papers we have counts for
1 paper · 1 filter
Max Ostrowski, Torsten Schaub
We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with technique…