@inproceedings{DBLP:conf/sat/HecherTW20,
  title = {Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology},
  author = {Hecher, Markus and Thier, Patrick and Woltran, Stefan},
  booktitle = {{SAT}},
  pages = {343--360},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {12178},
  year = {2020}
}