%0 Conference Paper %1 conf/sat/LonsingB09 %A Lonsing, Florian %A Biere, Armin %B SAT %D 2009 %E Kullmann, Oliver %I Springer %K dblp %P 398-411 %T A Compact Representation for Syntactic Dependencies in QBFs. %U http://dblp.uni-trier.de/db/conf/sat/sat2009.html#LonsingB09 %V 5584 %@ 978-3-642-02776-5

@inproceedings{conf/sat/LonsingB09, added-at = {2019-09-16T00:00:00.000+0200}, author = {Lonsing, Florian and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/2a5791ed863a4db29c55fa8479ae4d5e2/dblp}, booktitle = {SAT}, crossref = {conf/sat/2009}, editor = {Kullmann, Oliver}, ee = {https://doi.org/10.1007/978-3-642-02777-2_37}, interhash = {52e992b26ab7057cbe6db80e58f16db3}, intrahash = {a5791ed863a4db29c55fa8479ae4d5e2}, isbn = {978-3-642-02776-5}, keywords = {dblp}, pages = {398-411}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:12:56.000+0200}, title = {A Compact Representation for Syntactic Dependencies in QBFs.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2009.html#LonsingB09}, volume = 5584, year = 2009 }