%0 Conference Paper %1 conf/sat/HecherTW20 %A Hecher, Markus %A Thier, Patrick %A Woltran, Stefan %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 343-360 %T Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#HecherTW20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/HecherTW20, added-at = {2020-07-02T00:00:00.000+0200}, author = {Hecher, Markus and Thier, Patrick and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/26191b7a75b1ccfbc4c6f95c6ec19f49c/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_25}, interhash = {f22adaddd3843fe3f991ec7002605875}, intrahash = {6191b7a75b1ccfbc4c6f95c6ec19f49c}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {343-360}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-03T11:40:26.000+0200}, title = {Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#HecherTW20}, volume = 12178, year = 2020 }