Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs.

Published in: ICLP (Technical Communications) (2017)

Keyphrases

answer sets
combinatorial optimization
logic programming
machine learning
high level
search space
general purpose
logic programs
space complexity
bounded treewidth
counter examples