Translation-based Constraint Answer Set Solving

Christian Drescher, Toby Walsh

We solve constraint satisfaction problems through translation to answer set programming (ASP). Our reformulations have the property that unit-propagation in the ASP solver achieves…