%0 Journal Article %1 journals/fuin/CharwatW19 %A Charwat, Günther %A Woltran, Stefan %D 2019 %J Fundam. Informaticae %K dblp %N 1-2 %P 59-92 %T Expansion-based QBF Solving on Tree Decompositions. %U http://dblp.uni-trier.de/db/journals/fuin/fuin167.html#CharwatW19 %V 167

@article{journals/fuin/CharwatW19, added-at = {2020-09-18T00:00:00.000+0200}, author = {Charwat, Günther and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2e17657064cf0796f058b0f4282acae1a/dblp}, ee = {https://doi.org/10.3233/FI-2019-1810}, interhash = {3af3fdda50fa0cfb684e3c0b8cdad8c9}, intrahash = {e17657064cf0796f058b0f4282acae1a}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {59-92}, timestamp = {2020-09-19T11:37:15.000+0200}, title = {Expansion-based QBF Solving on Tree Decompositions.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin167.html#CharwatW19}, volume = 167, year = 2019 }