%0 Conference Paper %1 conf/mbmv/WimmerKBSB18 %A Wimmer, Ralf %A Karrenbauer, Andreas %A Becker, Ruben %A Scholl, Christoph %A Becker, Bernd %B MBMV %D 2018 %I Universität Tübingen %K dblp %T From DQBF to QBF by Dependency Elimination. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2018.html#WimmerKBSB18 %@ 978-3-00-059317-8

@inproceedings{conf/mbmv/WimmerKBSB18, added-at = {2022-08-02T00:00:00.000+0200}, author = {Wimmer, Ralf and Karrenbauer, Andreas and Becker, Ruben and Scholl, Christoph and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2da77eca8343bae79364e2ed62dbb661f/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2018}, ee = {https://hdl.handle.net/10900/84276}, interhash = {1a33bd46e1c869ffadf53f097a1ec91a}, intrahash = {da77eca8343bae79364e2ed62dbb661f}, isbn = {978-3-00-059317-8}, keywords = {dblp}, publisher = {Universität Tübingen}, timestamp = {2024-04-09T14:55:40.000+0200}, title = {From DQBF to QBF by Dependency Elimination.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2018.html#WimmerKBSB18}, year = 2018 }