{"_id":{"_str":"534243ba0e946d920a00050f"},"__v":1,"authorIDs":[],"author_short":["Drucker, A."],"bibbaseid":"drucker-nondeterministicdirectproductreductionsandthesuccessprobabilityofsatsolvers-2013","bibdata":{"bibtype":"unpublished","type":"unpublished","author":[{"firstnames":["Andrew"],"propositions":[],"lastnames":["Drucker"],"suffixes":[]}],"title":"Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers","year":"2013","note":"To appear in FOCS 2013","bibtex":"@unpublished{Dru:prelim,\nauthor = {Andrew Drucker},\ntitle = {Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers},\nyear = {2013},\nnote = {To appear in FOCS 2013},\n}\n\n\n\n\n%Manor\n\n","author_short":["Drucker, A."],"key":"Dru:prelim","id":"Dru:prelim","bibbaseid":"drucker-nondeterministicdirectproductreductionsandthesuccessprobabilityofsatsolvers-2013","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"unpublished","biburl":"people.csail.mit.edu/andyd/CCI_refs.bib","downloads":0,"keywords":[],"search_terms":["nondeterministic","direct","product","reductions","success","probability","sat","solvers","drucker"],"title":"Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers","year":2013,"dataSources":["Te9pFfTBkQvusPFGk","6sSgqzaHAPRWvSxTP"]}