A Compact Representation for Syntactic Dependencies in QBFs. Lonsing, F. & Biere, A. In Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, pages 398-411, 2009. Link bibtex @inproceedings{ DBLP:conf/sat/LonsingB09,
author = {Florian Lonsing and Armin Biere},
title = {A Compact Representation for Syntactic Dependencies in QBFs},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings},
pages = {398-411},
ee = {http://dx.doi.org/10.1007/978-3-642-02777-2_37} ,
year = {2009}
}
Downloads: 0
{"_id":{"_str":"520982e8a9e4b91d2f0002df"},"__v":12,"authorIDs":["54593b80b43425b7720003cb","54994dd28e3bca5f37000215"],"author_short":["Lonsing, F.","Biere, A."],"bibbaseid":"lonsing-biere-acompactrepresentationforsyntacticdependenciesinqbfs-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Florian"],"propositions":[],"lastnames":["Lonsing"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"title":"A Compact Representation for Syntactic Dependencies in QBFs","booktitle":"Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings","pages":"398-411","ee":"http://dx.doi.org/10.1007/978-3-642-02777-2_37","year":"2009","bibtex":"@inproceedings{ DBLP:conf/sat/LonsingB09,\n author = {Florian Lonsing and Armin Biere},\n title = {A Compact Representation for Syntactic Dependencies in QBFs},\n booktitle = {Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings},\n pages = {398-411},\n ee = {http://dx.doi.org/10.1007/978-3-642-02777-2_37} ,\n year = {2009}\n}\n\n\n","author_short":["Lonsing, F.","Biere, A."],"key":"DBLP:conf/sat/LonsingB09","id":"DBLP:conf/sat/LonsingB09","bibbaseid":"lonsing-biere-acompactrepresentationforsyntacticdependenciesinqbfs-2009","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-02777-2_37"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/florian-lonsing/?format=bibtex","downloads":0,"keywords":[],"search_terms":["compact","representation","syntactic","dependencies","qbfs","lonsing","biere"],"title":"A Compact Representation for Syntactic Dependencies in QBFs","title_words":["compact","representation","syntactic","dependencies","qbfs"],"year":2009,"dataSources":["3nrQRyBrTAqGRsPEa"]}