%0 Conference Paper %1 conf/sat/WimmerKBS017 %A Wimmer, Ralf %A Karrenbauer, Andreas %A Becker, Ruben %A Scholl, Christoph %A Becker, Bernd %B SAT %D 2017 %E Gaspers, Serge %E Walsh, Toby %I Springer %K dblp %P 326-343 %T From DQBF to QBF by Dependency Elimination. %U http://dblp.uni-trier.de/db/conf/sat/sat2017.html#WimmerKBS017 %V 10491 %@ 978-3-319-66263-3

@inproceedings{conf/sat/WimmerKBS017, 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/2a15dfd1f3cb9654ef3981c9a2585c872/dblp}, booktitle = {SAT}, crossref = {conf/sat/2017}, editor = {Gaspers, Serge and Walsh, Toby}, ee = {https://doi.org/10.1007/978-3-319-66263-3_21}, interhash = {e6bb459c8c7d37377b0778adc1af3940}, intrahash = {a15dfd1f3cb9654ef3981c9a2585c872}, isbn = {978-3-319-66263-3}, keywords = {dblp}, pages = {326-343}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:43.000+0200}, title = {From DQBF to QBF by Dependency Elimination.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html#WimmerKBS017}, volume = 10491, year = 2017 }