%0 Conference Paper %1 conf/date/GitinaWRSSB15 %A Gitina, Karina %A Wimmer, Ralf %A Reimer, Sven %A Sauer, Matthias %A Scholl, Christoph %A Becker, Bernd %B DATE %D 2015 %E Nebel, Wolfgang %E Atienza, David %I ACM %K dblp %P 1617-1622 %T Solving DQBF through quantifier elimination. %U http://dblp.uni-trier.de/db/conf/date/date2015.html#GitinaWRSSB15 %@ 978-3-9815370-4-8

@inproceedings{conf/date/GitinaWRSSB15, added-at = {2015-04-28T00:00:00.000+0200}, author = {Gitina, Karina and Wimmer, Ralf and Reimer, Sven and Sauer, Matthias and Scholl, Christoph and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2906938517d52f5187c25dbb249a6f9da/dblp}, booktitle = {DATE}, crossref = {conf/date/2015}, editor = {Nebel, Wolfgang and Atienza, David}, ee = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7092652}, interhash = {d13dc8e4ca7d6a1553a1c9fef52185aa}, intrahash = {906938517d52f5187c25dbb249a6f9da}, isbn = {978-3-9815370-4-8}, keywords = {dblp}, pages = {1617-1622}, publisher = {ACM}, timestamp = {2016-02-02T13:24:23.000+0100}, title = {Solving DQBF through quantifier elimination.}, url = {http://dblp.uni-trier.de/db/conf/date/date2015.html#GitinaWRSSB15}, year = 2015 }