Jdrasil: A Modular Library for Computing Tree Decompositions.

Max Bannach Sebastian Berndt Thorsten Ehlers

Published in: SEA (2017)

Keyphrases

tree decompositions
constraint satisfaction problems
tree decomposition
complexity bounds
databases
constraint satisfaction
database