@InProceedings{DBLP:conf/lpar/LonsingBBES15,
  Title                    = {Enhancing Search-Based {QBF} Solving by Dynamic Blocked Clause Elimination},
  Author                   = {Florian Lonsing and
 Fahiem Bacchus and
 Armin Biere and
 Uwe Egly and
 Martina Seidl},
  Booktitle                = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
 International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
 2015, Proceedings},
  Year                     = {2015},
  Pages                    = {418--433},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/lpar/LonsingBBES15},
  Doi                      = {10.1007/978-3-662-48899-7\_29},
  Timestamp                = {Tue, 23 May 2017 01:12:10 +0200},
  Url                      = {https://doi.org/10.1007/978-3-662-48899-7\_29}
}

{"_id":"FbtAvzY9xE9LLpfkz","bibbaseid":"lonsing-bacchus-biere-egly-seidl-enhancingsearchbasedqbfsolvingbydynamicblockedclauseelimination-2015","downloads":0,"creationDate":"2018-09-20T19:33:15.620Z","title":"Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination","author_short":["Lonsing, F.","Bacchus, F.","Biere, A.","Egly, U.","Seidl, M."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination","author":[{"firstnames":["Florian"],"propositions":[],"lastnames":["Lonsing"],"suffixes":[]},{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]},{"firstnames":["Uwe"],"propositions":[],"lastnames":["Egly"],"suffixes":[]},{"firstnames":["Martina"],"propositions":[],"lastnames":["Seidl"],"suffixes":[]}],"booktitle":"Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings","year":"2015","pages":"418–433","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/lpar/LonsingBBES15","doi":"10.1007/978-3-662-48899-7_29","timestamp":"Tue, 23 May 2017 01:12:10 +0200","url":"https://doi.org/10.1007/978-3-662-48899-7_29","bibtex":"@InProceedings{DBLP:conf/lpar/LonsingBBES15,\n Title = {Enhancing Search-Based {QBF} Solving by Dynamic Blocked Clause Elimination},\n Author = {Florian Lonsing and\n Fahiem Bacchus and\n Armin Biere and\n Uwe Egly and\n Martina Seidl},\n Booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th\n International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,\n 2015, Proceedings},\n Year = {2015},\n Pages = {418--433},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/lpar/LonsingBBES15},\n Doi = {10.1007/978-3-662-48899-7\\_29},\n Timestamp = {Tue, 23 May 2017 01:12:10 +0200},\n Url = {https://doi.org/10.1007/978-3-662-48899-7\\_29}\n}\n\n","author_short":["Lonsing, F.","Bacchus, F.","Biere, A.","Egly, U.","Seidl, M."],"key":"DBLP:conf/lpar/LonsingBBES15","id":"DBLP:conf/lpar/LonsingBBES15","bibbaseid":"lonsing-bacchus-biere-egly-seidl-enhancingsearchbasedqbfsolvingbydynamicblockedclauseelimination-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-662-48899-7_29"},"metadata":{"authorlinks":{}}},"search_terms":["enhancing","search","based","qbf","solving","dynamic","blocked","clause","elimination","lonsing","bacchus","biere","egly","seidl"],"keywords":[],"authorIDs":[],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}