@article{journals/corr/abs-1908-00089,
  added-at = {2019-08-09T00:00:00.000+0200},
  author = {Barak-Pelleg, Dina and Berend, Daniel and Saunders, J. C.},
  biburl = {https://www.bibsonomy.org/bibtex/2b2ee0422f08a6294553d1d95dfc3eb82/dblp},
  ee = {http://arxiv.org/abs/1908.00089},
  interhash = {9586cdf270e4a5548149163079113474},
  intrahash = {b2ee0422f08a6294553d1d95dfc3eb82},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2019-08-10T11:38:01.000+0200},
  title = {A Model of Random Industrial SAT.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-00089},
  volume = {abs/1908.00089},
  year = 2019
}

{"_id":"dAgLHy59LLXWzkE6y","bibbaseid":"barakpelleg-berend-saunders-amodelofrandomindustrialsat-2019","author_short":["Barak-Pelleg, D.","Berend, D.","Saunders, J. C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2019-08-09T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Barak-Pelleg"],"firstnames":["Dina"],"suffixes":[]},{"propositions":[],"lastnames":["Berend"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Saunders"],"firstnames":["J.","C."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2b2ee0422f08a6294553d1d95dfc3eb82/dblp","ee":"http://arxiv.org/abs/1908.00089","interhash":"9586cdf270e4a5548149163079113474","intrahash":"b2ee0422f08a6294553d1d95dfc3eb82","journal":"CoRR","keywords":"dblp","timestamp":"2019-08-10T11:38:01.000+0200","title":"A Model of Random Industrial SAT.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-00089","volume":"abs/1908.00089","year":"2019","bibtex":"@article{journals/corr/abs-1908-00089,\n added-at = {2019-08-09T00:00:00.000+0200},\n author = {Barak-Pelleg, Dina and Berend, Daniel and Saunders, J. C.},\n biburl = {https://www.bibsonomy.org/bibtex/2b2ee0422f08a6294553d1d95dfc3eb82/dblp},\n ee = {http://arxiv.org/abs/1908.00089},\n interhash = {9586cdf270e4a5548149163079113474},\n intrahash = {b2ee0422f08a6294553d1d95dfc3eb82},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2019-08-10T11:38:01.000+0200},\n title = {A Model of Random Industrial SAT.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-00089},\n volume = {abs/1908.00089},\n year = 2019\n}\n\n","author_short":["Barak-Pelleg, D.","Berend, D.","Saunders, J. C."],"key":"journals/corr/abs-1908-00089","id":"journals/corr/abs-1908-00089","bibbaseid":"barakpelleg-berend-saunders-amodelofrandomindustrialsat-2019","role":"author","urls":{"Link":"http://arxiv.org/abs/1908.00089","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-00089"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/barak ?items=1000","dataSources":["sNDcqxpX5cBQ5Pu7G"],"keywords":["dblp"],"search_terms":["model","random","industrial","sat","barak-pelleg","berend","saunders"],"title":"A Model of Random Industrial SAT.","year":2019}