Skip to content

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

Bernhard Bliem

VenueBICLP
Year2017
ProceedingsICLP (Technical Communications)

Browse the full ICLP paper archive.