%0 Conference Paper %1 conf/aiia/CharwatW17 %A Charwat, Günther %A Woltran, Stefan %B RCRA@AI*IA %D 2017 %E Maratea, Marco %E Serina, Ivan %I CEUR-WS.org %K dblp %P 16-26 %T Expansion-based QBF Solving on Tree Decompositions. %U http://dblp.uni-trier.de/db/conf/aiia/rcra2017.html#CharwatW17 %V 2011

@inproceedings{conf/aiia/CharwatW17, added-at = {2023-03-10T00:00:00.000+0100}, author = {Charwat, Günther and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2296d0f1fb5878b71b5a7b240f2adbe70/dblp}, booktitle = {RCRA@AI*IA}, crossref = {conf/aiia/2017rcra}, editor = {Maratea, Marco and Serina, Ivan}, ee = {https://ceur-ws.org/Vol-2011/paper2.pdf}, interhash = {0eb6091e6c9e63f841de9b021a838dfe}, intrahash = {296d0f1fb5878b71b5a7b240f2adbe70}, keywords = {dblp}, pages = {16-26}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:17:04.000+0200}, title = {Expansion-based QBF Solving on Tree Decompositions.}, url = {http://dblp.uni-trier.de/db/conf/aiia/rcra2017.html#CharwatW17}, volume = 2011, year = 2017 }