The Impact of Treewidth on ASP Grounding and Solving.

Bernhard Bliem Marius Moldovan Michael Morak Stefan Woltran

Published in: IJCAI (2017)

Keyphrases

answer set programming
data sets
search space
probabilistic model
upper bound
boolean functions
factors that influence
database
genetic algorithm
optimal solution
dynamic programming
web applications
np complete
space complexity
discrete random variables