@InProceedings{DBLP:conf/sat/GoultiaevaB13,
  Title                    = {Recovering and Utilizing Partial Duality in {QBF}},
  Author                   = {Alexandra Goultiaeva and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
 International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  Year                     = {2013},
  Pages                    = {83--99},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/sat/GoultiaevaB13},
  Doi                      = {10.1007/978-3-642-39071-5\_8},
  Timestamp                = {Thu, 15 Jun 2017 21:39:14 +0200},
  Url                      = {https://doi.org/10.1007/978-3-642-39071-5\_8}
}

{"_id":"4ht8a9KvGcgkxMpP6","bibbaseid":"goultiaeva-bacchus-recoveringandutilizingpartialdualityinqbf-2013","downloads":0,"creationDate":"2018-09-20T19:33:15.630Z","title":"Recovering and Utilizing Partial Duality in QBF","author_short":["Goultiaeva, A.","Bacchus, F."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Recovering and Utilizing Partial Duality in QBF","author":[{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Goultiaeva"],"suffixes":[]},{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]}],"booktitle":"Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings","year":"2013","pages":"83–99","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/sat/GoultiaevaB13","doi":"10.1007/978-3-642-39071-5_8","timestamp":"Thu, 15 Jun 2017 21:39:14 +0200","url":"https://doi.org/10.1007/978-3-642-39071-5\\_8","bibtex":"@InProceedings{DBLP:conf/sat/GoultiaevaB13,\n Title = {Recovering and Utilizing Partial Duality in {QBF}},\n Author = {Alexandra Goultiaeva and\n Fahiem Bacchus},\n Booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th\n International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},\n Year = {2013},\n Pages = {83--99},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/sat/GoultiaevaB13},\n Doi = {10.1007/978-3-642-39071-5\\_8},\n Timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},\n Url = {https://doi.org/10.1007/978-3-642-39071-5\\_8}\n}\n\n","author_short":["Goultiaeva, A.","Bacchus, F."],"key":"DBLP:conf/sat/GoultiaevaB13","id":"DBLP:conf/sat/GoultiaevaB13","bibbaseid":"goultiaeva-bacchus-recoveringandutilizingpartialdualityinqbf-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-39071-5\\_8"},"metadata":{"authorlinks":{"goultiaeva, a":"https://bibbase.org/show?bib=www.cs.toronto.edu/kr/publications/list.bib&group0=year&filter=authors:Goultiaeva"}},"downloads":0,"html":""},"search_terms":["recovering","utilizing","partial","duality","qbf","goultiaeva","bacchus"],"keywords":[],"authorIDs":["HDP4KricaJ4FDwi5J"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}