Constraint Answer Set Solving

We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithmic framework for conflict-driven ASP solving that exploits CP solving capacities. A significant technical issue concerns the combination of conflict information from different solver types. We have implemented our approach, combining ASP solver clingo with the generic CP solver gecode, and we empirically investigate its computational impact.

• Type: Conference
• Year: 2009
• Where: ICLP
• Authors: Martin Gebser, Max Ostrowski, Torsten Schaub
• Keywords: Alternative Semantic Approach, ASP Solver Clingo, CP Solver Gecode, ICLP 2009, Programming Languages