Login / Signup
Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs.
Bernhard Bliem
Published in:
Ausgezeichnete Informatikdissertationen (2017)
Keyphrases
</>
tree decompositions
machine learning
np complete
combinatorial optimization
general purpose
logic programs
search space
answer sets
logic programming