6 citations · 13 across the 11 of their papers we have counts for
1 paper · 2 filters
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…