%0 Conference Paper %1 conf/fmcad/Ge-ErnstSW19 %A Ge-Ernst, Aile %A Scholl, Christoph %A Wimmer, Ralf %B FMCAD %D 2019 %E Barrett, Clark W. %E Yang, Jin %I IEEE %K dblp %P 184-192 %T Localizing Quantifiers for DQBF. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2019.html#Ge-ErnstSW19 %@ 978-0-9835678-9-9

@inproceedings{conf/fmcad/Ge-ErnstSW19, added-at = {2022-08-02T00:00:00.000+0200}, author = {Ge-Ernst, Aile and Scholl, Christoph and Wimmer, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2fa4e043d489881581ac85782c807697f/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2019}, editor = {Barrett, Clark W. and Yang, Jin}, ee = {https://doi.org/10.23919/FMCAD.2019.8894269}, interhash = {3a35682c35ad4172d31422d80a710b5f}, intrahash = {fa4e043d489881581ac85782c807697f}, isbn = {978-0-9835678-9-9}, keywords = {dblp}, pages = {184-192}, publisher = {IEEE}, timestamp = {2024-04-10T16:54:36.000+0200}, title = {Localizing Quantifiers for DQBF.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2019.html#Ge-ErnstSW19}, year = 2019 }