Sciweavers

Share
ICLP
2009
Springer

Constraint Answer Set Solving

10 years 8 months ago
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.
Martin Gebser, Max Ostrowski, Torsten Schaub
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2009
Where ICLP
Authors Martin Gebser, Max Ostrowski, Torsten Schaub
Comments (0)
books