@article{ journals/corr/abs-cs-0503044,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Jia, Haixia and Moore, Cristopher and Strain, Doug},
  biburl = {http://www.bibsonomy.org/bibtex/275230f84c016b24914b21decba358779/dblp},
  ee = {http://arxiv.org/abs/cs/0503044},
  interhash = {453d7497a3ebe6e03e25af7e559a17e4},
  intrahash = {75230f84c016b24914b21decba358779},
  journal = {CoRR},
  keywords = {dblp},
  title = {Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0503.html#abs-cs-0503044},
  volume = {abs/cs/0503044},
  year = {2005}
}

{"_id":"9hDNpR29a55iTHcob","authorIDs":[],"author_short":["Jia, H.","Moore, C.","Strain, D."],"bibbaseid":"jia-moore-strain-generatinghardsatisfiableformulasbyhidingsolutionsdeceptively-2005","bibdata":{"added-at":"2011-12-05T00:00:00.000+0100","author":["Jia, Haixia","Moore, Cristopher","Strain, Doug"],"author_short":["Jia, H.","Moore, C.","Strain, D."],"bibtex":"@article{ journals/corr/abs-cs-0503044,\n added-at = {2011-12-05T00:00:00.000+0100},\n author = {Jia, Haixia and Moore, Cristopher and Strain, Doug},\n biburl = {http://www.bibsonomy.org/bibtex/275230f84c016b24914b21decba358779/dblp},\n ee = {http://arxiv.org/abs/cs/0503044},\n interhash = {453d7497a3ebe6e03e25af7e559a17e4},\n intrahash = {75230f84c016b24914b21decba358779},\n journal = {CoRR},\n keywords = {dblp},\n title = {Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr0503.html#abs-cs-0503044},\n volume = {abs/cs/0503044},\n year = {2005}\n}","bibtype":"article","biburl":"http://www.bibsonomy.org/bibtex/275230f84c016b24914b21decba358779/dblp","ee":"http://arxiv.org/abs/cs/0503044","id":"journals/corr/abs-cs-0503044","interhash":"453d7497a3ebe6e03e25af7e559a17e4","intrahash":"75230f84c016b24914b21decba358779","journal":"CoRR","key":"journals/corr/abs-cs-0503044","keywords":"dblp","title":"Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively","type":"article","url":"http://dblp.uni-trier.de/db/journals/corr/corr0503.html#abs-cs-0503044","volume":"abs/cs/0503044","year":"2005","bibbaseid":"jia-moore-strain-generatinghardsatisfiableformulasbyhidingsolutionsdeceptively-2005","role":"author","urls":{"Link":"http://arxiv.org/abs/cs/0503044","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr0503.html#abs-cs-0503044"},"keyword":["dblp"],"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/moore?items=1000","creationDate":"2015-03-12T16:55:38.138Z","downloads":0,"keywords":["dblp"],"search_terms":["generating","hard","satisfiable","formulas","hiding","solutions","deceptively","jia","moore","strain"],"title":"Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively","year":2005,"dataSources":["CNaPQFuj8cuTCPAK7"]}