%0 Conference Paper %1 conf/sat/WimmerSWB16 %A Wimmer, Ralf %A Scholl, Christoph %A Wimmer, Karina %A Becker, Bernd %B SAT %D 2016 %E Creignou, Nadia %E Berre, Daniel Le %I Springer %K dblp %P 473-489 %T Dependency Schemes for DQBF. %U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#WimmerSWB16 %V 9710 %@ 978-3-319-40969-6

@inproceedings{conf/sat/WimmerSWB16, added-at = {2023-03-21T00:00:00.000+0100}, author = {Wimmer, Ralf and Scholl, Christoph and Wimmer, Karina and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2ee42582f424d524ac21a6753b21c4af0/dblp}, booktitle = {SAT}, crossref = {conf/sat/2016}, editor = {Creignou, Nadia and Berre, Daniel Le}, ee = {https://doi.org/10.1007/978-3-319-40970-2_29}, interhash = {92e5d9b2de2ad3e44d6c6ce31c4445e4}, intrahash = {ee42582f424d524ac21a6753b21c4af0}, isbn = {978-3-319-40969-6}, keywords = {dblp}, pages = {473-489}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:45.000+0200}, title = {Dependency Schemes for DQBF.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#WimmerSWB16}, volume = 9710, year = 2016 }