@inproceedings{ DBLP:conf/sat/Biere04,
  author    = {Armin Biere},
  title     = {Resolve and Expand},
  booktitle   = {SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings},
  ee   = {http://www.satisfiability.org/SAT04/programme/93.pdf} ,
  year   = {2004}
}

{"_id":{"_str":"51ff5378d40bcbb041000215"},"__v":9,"authorIDs":["54593b80b43425b7720003cb"],"author_short":["Biere, A."],"bibbaseid":"biere-resolveandexpand-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"title":"Resolve and Expand","booktitle":"SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings","ee":"http://www.satisfiability.org/SAT04/programme/93.pdf","year":"2004","bibtex":"@inproceedings{ DBLP:conf/sat/Biere04,\n author = {Armin Biere},\n title = {Resolve and Expand},\n booktitle = {SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings},\n ee = {http://www.satisfiability.org/SAT04/programme/93.pdf} ,\n year = {2004}\n}\n\n\n","author_short":["Biere, A."],"key":"DBLP:conf/sat/Biere04","id":"DBLP:conf/sat/Biere04","bibbaseid":"biere-resolveandexpand-2004","role":"author","urls":{"Link":"http://www.satisfiability.org/SAT04/programme/93.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/proceedings/sat-2004-the-seventh-international-conference-on-theory-and-applications-of-satisfiability-testing-10-13-may-2004-vancouver-bc-canada-online-proceedings/?format=bibtex","downloads":0,"keywords":[],"search_terms":["resolve","expand","biere"],"title":"Resolve and Expand","title_words":["resolve","expand"],"year":2004,"dataSources":["JArSLm6k725ZukMsb"]}