@incollection{ boyer91,
  abstract = {A new algorithm is presented for determining which, if any, of an arbitrary number of candidates has received a majority of the votes cast in an election. The number of comparisons required is at most twice the number of votes. Furthermore, the algorithm uses storage in a way that permits an efficient use of magnetic tape. A Fortran version of the algorithm is exhibited. The Fortran code has been proved correct by a mechanical verification system for Fortran. The system and the proof are discussed.},
  added-at = {2014-03-20T00:58:05.000+0100},
  author = {Boyer, Robert S. and Moore, J. Strother},
  biburl = {http://www.bibsonomy.org/bibtex/284355a9b520c23b7570caa210a999bd1/ytyoun},
  booktitle = {Automated Reasoning},
  doi = {10.1007/978-94-011-3488-0_5},
  editor = {Boyer, Robert S.},
  interhash = {04136ecc9045bab9af90015e549fc7a2},
  intrahash = {84355a9b520c23b7570caa210a999bd1},
  isbn = {978-94-010-5542-0},
  keywords = {majority},
  language = {English},
  pages = {105-117},
  publisher = {Springer Netherlands},
  series = {Automated Reasoning Series},
  title = {{MJRTY} -- A Fast Majority Vote Algorithm},
  volume = {1},
  year = {1991}
}

{"_id":"prvYPWvZxqnK2oeWn","bibbaseid":"boyer-moore-strother-mjrtyafastmajorityvotealgorithm-1991","downloads":0,"creationDate":"2015-03-12T16:55:33.792Z","title":"MJRTY -- A Fast Majority Vote Algorithm","author_short":["Boyer, R.<nbsp>S.","Moore","Strother, J."],"year":1991,"bibtype":"incollection","biburl":"http://www.bibsonomy.org/bib/author/moore?items=1000","bibdata":{"abstract":"A new algorithm is presented for determining which, if any, of an arbitrary number of candidates has received a majority of the votes cast in an election. The number of comparisons required is at most twice the number of votes. Furthermore, the algorithm uses storage in a way that permits an efficient use of magnetic tape. A Fortran version of the algorithm is exhibited. The Fortran code has been proved correct by a mechanical verification system for Fortran. The system and the proof are discussed.","added-at":"2014-03-20T00:58:05.000+0100","author":["Boyer, Robert S.","Moore","Strother, J."],"author_short":["Boyer, R.<nbsp>S.","Moore","Strother, J."],"bibtex":"@incollection{ boyer91,\n abstract = {A new algorithm is presented for determining which, if any, of an arbitrary number of candidates has received a majority of the votes cast in an election. The number of comparisons required is at most twice the number of votes. Furthermore, the algorithm uses storage in a way that permits an efficient use of magnetic tape. A Fortran version of the algorithm is exhibited. The Fortran code has been proved correct by a mechanical verification system for Fortran. The system and the proof are discussed.},\n added-at = {2014-03-20T00:58:05.000+0100},\n author = {Boyer, Robert S. and Moore, J. Strother},\n biburl = {http://www.bibsonomy.org/bibtex/284355a9b520c23b7570caa210a999bd1/ytyoun},\n booktitle = {Automated Reasoning},\n doi = {10.1007/978-94-011-3488-0_5},\n editor = {Boyer, Robert S.},\n interhash = {04136ecc9045bab9af90015e549fc7a2},\n intrahash = {84355a9b520c23b7570caa210a999bd1},\n isbn = {978-94-010-5542-0},\n keywords = {majority},\n language = {English},\n pages = {105-117},\n publisher = {Springer Netherlands},\n series = {Automated Reasoning Series},\n title = {{MJRTY} -- A Fast Majority Vote Algorithm},\n volume = {1},\n year = {1991}\n}","bibtype":"incollection","biburl":"http://www.bibsonomy.org/bibtex/284355a9b520c23b7570caa210a999bd1/ytyoun","booktitle":"Automated Reasoning","doi":"10.1007/978-94-011-3488-0_5","editor":["Boyer, Robert S."],"editor_short":["Boyer, R.<nbsp>S."],"id":"boyer91","interhash":"04136ecc9045bab9af90015e549fc7a2","intrahash":"84355a9b520c23b7570caa210a999bd1","isbn":"978-94-010-5542-0","key":"boyer91","keywords":"majority","language":"English","pages":"105-117","publisher":"Springer Netherlands","series":"Automated Reasoning Series","title":"MJRTY -- A Fast Majority Vote Algorithm","type":"incollection","volume":"1","year":"1991","bibbaseid":"boyer-moore-strother-mjrtyafastmajorityvotealgorithm-1991","role":"author","urls":{},"keyword":["majority"],"downloads":0},"search_terms":["mjrty","fast","majority","vote","algorithm","boyer","moore","strother"],"keywords":["majority"],"authorIDs":[],"dataSources":["CNaPQFuj8cuTCPAK7"]}