The Impact of Treewidth on ASP Grounding and Solving.

Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran

Browse the full IJCAI paper archive.