Login / Signup

JTDec: A Tool for Tree Decompositions in Soot.

Krishnendu ChatterjeeAmir Kafshdar GoharshadyAndreas Pavlogiannis
Published in: ATVA (2017)
Keyphrases
  • tree decompositions
  • optimal solution
  • relational databases
  • tree decomposition
  • complexity bounds