@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} }