Login / Signup
htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond.
Michael Abseher
Nysret Musliu
Stefan Woltran
Published in:
CPAIOR (2017)
Keyphrases
</>
open source
tree decompositions
case study
upper bound