@book{ abelson-et-al:scheme,
  author = "Harold Abelson and Gerald~Jay Sussman and Julie Sussman",
  title = "Structure and Interpretation of Computer Programs",
  publisher = "MIT Press",
  address = "Cambridge, Massachusetts",
  year = "1985"
}

@inproceedings{ bgf:Lixto,
  author = "Robert Baumgartner and Georg Gottlob and Sergio Flesca",
  title = "Visual Information Extraction with {Lixto}",
  booktitle = "Proceedings of the 27th International Conference on Very Large Databases",
  pages = "119--128",
  publisher = "Morgan Kaufmann",
  address = "Rome, Italy",
  month = "September",
  year = "2001"
}

@article{ brachman-schmolze:kl-one,
  author = "Ronald~J. Brachman and James~G. Schmolze",
  title = "An overview of the {KL-ONE} knowledge representation system",
  journal = "Cognitive Science",
  volume = "9",
  number = "2",
  pages = "171--216",
  month = "April--June",
  year = "1985"
}

@article{ gottlob:nonmon,
  author = "Georg Gottlob",
  title = "Complexity results for nonmonotonic logics",
  journal = "Journal of Logic and Computation",
  volume = "2",
  number = "3",
  pages = "397--425",
  month = "June",
  year = "1992"
}

@article{ gls:hypertrees,
  author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
  title = "Hypertree Decompositions and Tractable Queries",
  journal = "Journal of Computer and System Sciences",
  volume = "64",
  number = "3",
  pages = "579--627",
  month = "May",
  year = "2002"
}

@article{ levesque:functional-foundations,
  author = "Hector~J. Levesque",
  title = "Foundations of a functional approach to knowledge representation",
  journal = "Artificial Intelligence",
  volume = "23",
  number = "2",
  pages = "155--212",
  month = "July",
  year = "1984"
}

@inproceedings{ levesque:belief,
  author = "Hector~J. Levesque",
  title = "A logic of implicit and explicit belief",
  booktitle = "Proceedings of the Fourth National Conference on Artificial Intelligence",
  publisher = "American Association for Artificial Intelligence",
  pages = "198--202",
  address = "Austin, Texas",
  month = "August",
  year = "1984"
}

@article{ nebel:jair-2000,
  author = "Bernhard Nebel",
  title = "On the compilability and expressive power of propositional planning formalisms",
  journal = "Journal of Artificial Intelligence Research",
  volume = "12",
  pages = "271--315",
  year = "2000"
}

 @misc{proceedings,
  author = {{IJCAI Proceedings}},
  title = {{IJCAI} Camera Ready Submission},
  howpublished = {\url{https://proceedings.ijcai.org/info}},
}

@book{nurmi1999voting,
  title={Voting paradoxes and how to deal with them},
  author={Nurmi, Hannu},
  year={1999},
  publisher={Springer Science \& Business Media}
}

@book{riker1988liberalism,
  title={Liberalism against populism: A confrontation between the theory of democracy and the theory of social choice},
  author={Riker, William H},
  year={1988},
  publisher={Waveland press}
}

@article{diss2012borda,
  title={Borda’s paradox with weighted scoring rules},
  author={Diss, Mostapha and Gehrlein, William V},
  journal={Social Choice and Welfare},
  volume={38},
  pages={121--136},
  year={2012},
  publisher={Springer}
}

@article{tataru1997relationship,
  title={On the relationship of the Condorcet winner and positional voting rules},
  author={Tataru, Maria and Merlin, Vincent},
  journal={Mathematical Social Sciences},
  volume={34},
  number={1},
  pages={81--90},
  year={1997},
  publisher={Elsevier}
}

@article{cervone2005scoring,
  title={Which scoring rule maximizes Condorcet efficiency under IAC?},
  author={Cervone, Davide P and Gehrlein, William V and Zwicker, William S},
  journal={Theory and Decision},
  volume={58},
  pages={145--185},
  year={2005},
  publisher={Springer}
}

@article{eugeciouglu2013impartial,
  title={The impartial, anonymous, and neutral culture model: a probability model for sampling public preference structures},
  author={E{\u{g}}ecio{\u{g}}lu, {\"O}mer and Giritligil, Ay{\c{c}}a E},
  journal={The Journal of mathematical sociology},
  volume={37},
  number={4},
  pages={203--222},
  year={2013},
  publisher={Taylor \& Francis}
}

@article{gehrlein2010probability,
  title={On the probability of observing Borda’s paradox},
  author={Gehrlein, William V and Lepelley, Dominique},
  journal={Social Choice and Welfare},
  volume={35},
  pages={1--23},
  year={2010},
  publisher={Springer}
}

@article{xia2020smoothed,
  title={The smoothed possibility of social choice},
  author={Xia, Lirong},
  journal={Advances in Neural Information Processing Systems},
  volume={33},
  pages={11044--11055},
  year={2020}
}

@inproceedings{xia2021likely,
  title={How Likely Are Large Elections Tied?},
  author={Xia, Lirong},
  booktitle={Proceedings of the 22nd ACM Conference on Economics and Computation},
  pages={884--885},
  year={2021}
}

@article{Borda1971memo,
  title={Mémoire sur les élections au scrutin},
  author={de Borda, Jean-Charles},
  journal={Histoire de L’Académie Royale des Sciencess},
  volume={102},
  pages={657--665},
  year={1781}
}

@incollection{pew2023,
    author = {Jocelyn Kiley},
    year={2023},
    booktitle = {Pew Research Center},
    title = {Majority of Americans continue to favor moving away from Electoral College},
    url = {https://www.pewresearch.org/short-reads/2023/09/25/majority-of-americans-continue-to-favor-moving-away-from-electoral-college/}
}

@incollection{wp2016,
    author = {Katy Collin},
    year={2023},
    booktitle = {The Washington Post},
    title = {The electoral college badly distorts the vote. And it’s going to get worse.},
    url = {https://www.washingtonpost.com/news/monkey-cage/wp/2016/11/17/the-electoral-college-badly-distorts-the-vote-and-its-going-to-get-worse/}
}

@incollection{nyt2016,
    author = {Jonathan Mahler and Steve Eder},
    year={2016},
    booktitle = {New York Times},
    title = {The Electoral College Is Hated by Many. So Why Does It Endure?},
    url = {https://www.nytimes.com/2016/11/11/us/politics/the-electoral-college-is-hated-by-many-so-why-does-it-endure.html}
}

@incollection{indp2016,
    author = {JRachael Revesz
    },
    year={2016},
    booktitle = {Independent},
    title = {Five presidential nominees who won popular vote but lost the election},
    url = {https://www.independent.co.uk/news/world/americas/popular-vote-electoral-college-five-presidential-nominees-hillary-clinton-al-gore-a7420971.html}
}

@inproceedings{borda1784paper,
      author = "Jean-Charles de Borda",
      title = "A paper on elections by ballot",
      booktitle = "Condorcet:
      Foundations of social choice and political theory",
      editor = "Iain McLean and Fiona Hewitt",
      year = "1994",
      publisher = "Edward Elgar Publishing",
      address = "Cheltenham, UK",
      isbn = "9781781008119",
      pages= "114-119",
}


@article{aki2007unreal,
    author = {Aki Lehtinen and Jaakko Kuorikoski},
    title ={Unrealistic Assumptions in Rational Choice Theory},
    journal = {Philosophy of the Social Sciences},
    volume = {37},
    number = {2},
    pages = {115-138},
    year = {2007},
}

@article{fishburn1976borda,
  title={Borda's rule, positional voting, and Condorcet's simple majority principle},
  author={Fishburn, Peter C and Gehrlein, William V},
  journal={Public Choice},
  pages={79--88},
  year={1976},
  publisher={JSTOR}
}

@article{diss2018another,
  title={Another perspective on Borda’s paradox},
  author={Diss, Mostapha and Tlidi, Abdelmonaim},
  journal={Theory and Decision},
  volume={84},
  pages={99--121},
  year={2018},
  publisher={Springer}
}

@article{diss2018note,
  title={A note on the likelihood of the absolute majority paradoxes},
  author={Diss, Mostapha and Kamwa, Eric and Tlidi, Abdelmonaim},
  journal={Economics Bulletin},
  volume={38},
  number={4},
  pages={pp--1727},
  year={2018}
}

@Article{Diss2015true,
  author={Mostapha Diss and William V. Gehrlein},
  title={The True Impact of Voting Rule Selection on Condorcet Efficiency},
  journal={Economics Bulletin},
  year=2015,
  volume={35},
  number={4},
  pages={2418-2426},
}

@article{kk2018trump,
title = {Trump, Condorcet and Borda: Voting paradoxes in the 2016 Republican presidential primaries},
journal = {European Journal of Political Economy},
volume = {55},
pages = {29-35},
year = {2018},
issn = {0176-2680},
author = {Peter Kurrild-Klitgaard},
}

@article{feizi2020iran,
  title={Borda paradox in the 2017 Iranian presidential election: empirical evidence from opinion polls},
  author={Feizi, Mehdi and Ramezanian, Rasoul and Malek Sadati, Saeed},
  journal={Economics of Governance},
  volume={21},
  pages={101--113},
  year={2020},
  publisher={Springer}
}

@article{Brandt2022minimal,
author = {Felix Brandt and Marie Matthäus and Christian Saile},
title ={Minimal voting paradoxes},

journal = {Journal of Theoretical Politics},
volume = {34},
number = {4},
pages = {527-551},
year = {2022},
}

@article{bruns2019computations,
  title={Computations of volumes and Ehrhart series in four candidates elections},
  author={Bruns, Winfried and Ichim, Bogdan and S{\"o}ger, Christof},
  journal={Annals of Operations Research},
  volume={280},
  pages={241--265},
  year={2019},
  publisher={Springer}
}

@article{blum1995color,
title = {Coloring Random and Semi-Random k-Colorable Graphs},
journal = {Journal of Algorithms},
volume = {19},
number = {2},
pages = {204-234},
year = {1995},
issn = {0196-6774},
author = {A. Blum and J. Spencer},
}

@INPROCEEDINGS{blum1990tools,
  author={Blum, A.},
  booktitle={Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science}, 
  title={Some tools for approximate 3-coloring}, 
  year={1990},
  volume={},
  number={},
  pages={554-562 vol.2},
  doi={10.1109/FSCS.1990.89576}}

@book{roughgarden2021beyond,
  title={Beyond the worst-case analysis of algorithms},
  author={Roughgarden, Tim},
  year={2021},
  publisher={Cambridge University Press}
}

@article{spielman2009smoothed,
  title={Smoothed analysis: an attempt to explain the behavior of algorithms in practice},
  author={Spielman, Daniel A and Teng, Shang-Hua},
  journal={Communications of the ACM},
  volume={52},
  number={10},
  pages={76--84},
  year={2009},
  publisher={ACM New York, NY, USA}
}

@article{spielman2004simplex,
author = {Spielman, Daniel A. and Teng, Shang-Hua},
title = {Smoothed Analysis of Algorithms: Why the Simplex Algorithm Usually Takes Polynomial Time},
year = {2004},
issue_date = {May 2004},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {51},
number = {3},
issn = {0004-5411},
journal = {J. ACM},
month = {May},
pages = {385–463},
numpages = {79},
}

@article{mcgarvey1953theorem,
  title={A theorem on the construction of voting paradoxes},
  author={McGarvey, David C},
  journal={Econometrica: Journal of the Econometric Society},
  pages={608--610},
  year={1953},
  publisher={JSTOR}
}

@inproceedings{baumeister2020towards,
  title={Towards reality: smoothed analysis in computational social choice},
  author={Baumeister, Dorothea and Hogrebe, Tobias and Rothe, J{\"o}rg},
  booktitle={Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems},
  pages={1691--1695},
  year={2020}
}
@inproceedings{ao2020private,
  title={How private are commonly-used voting rules?},
  author={Ao, LIU and Lu, Yun and Xia, Lirong and Zikas, Vassilis},
  booktitle={Conference on Uncertainty in Artificial Intelligence},
  pages={629--638},
  year={2020},
  organization={PMLR}
}

@article{xia2021semi,
  title={The semi-random satisfaction of voting axioms},
  author={Xia, Lirong},
  journal={Advances in Neural Information Processing Systems},
  volume={34},
  pages={6075--6086},
  year={2021}
}

@inproceedings{liu2022semi,
  title={The Semi-random Likelihood of Doctrinal Paradoxes},
  author={Liu, Ao and Xia, Lirong},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={36},
  number={5},
  pages={5124--5132},
  year={2022}
}

@inproceedings{xia2023impact,
  title={The impact of a coalition: Assessing the likelihood of voter influence in large elections},
  author={Xia, Lirong},
  booktitle={Proceedings of the 24th ACM Conference on Economics and Computation},
  pages={1156--1156},
  year={2023}
}

@inproceedings{xia2023semi,
  title={Semi-random impossibilities of condorcet criterion},
  author={Xia, Lirong},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={37},
  number={5},
  pages={5867--5875},
  year={2023}
}

@inproceedings{xia2022beyond,
  title={Beyond the Worst Case: Semi-random Complexity Analysis of Winner Determination},
  author={Xia, Lirong and Zheng, Weiqiang},
  booktitle={International Conference on Web and Internet Economics},
  pages={330--347},
  year={2022},
  organization={Springer}
}

@inproceedings{xia2021kemeny,
  title={The smoothed complexity of computing Kemeny and slater rankings},
  author={Xia, Lirong and Zheng, Weiqiang},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={35},
  number={6},
  pages={5742--5750},
  year={2021}
}

@article{gehrlein2004probability,
  title={Probability calculations in voting theory: an overview of recent results},
  author={Gehrlein, William V and Lepelley, Dominique},
  journal={Reasoned Choices: Essays in Honor of Academy Professor Hannu Nurmi},
  year={2004}
}

@article{WILSON200probability,
    title = {Probability calculations under the IAC hypothesis},
    journal = {Mathematical Social Sciences},
    volume = {54},
    number = {3},
    pages = {244-256},
    year = {2007},
    issn = {0165-4896},
    doi = {https://doi.org/10.1016/j.mathsocsci.2007.05.003},
    url = {https://www.sciencedirect.com/science/article/pii/S0165489607000443},
    author = {Mark C. Wilson and Geoffrey Pritchard},
}


@online{RCVfairvote,
  author = {FairVote},
  title = {Where is Ranked Choice Voting Used?},
  year = 2023,
  url = {https://fairvote.org/our-reforms/ranked-choice-voting-information/#where-is-ranked-choice-voting-used},
  urldate = {2023-07-08}
}

@online{RCVWP,
  author = {Washington Post},
  title = {How ranked-choice voting saved the Virginia GOP from itself},
  year = 2021,
  url = {https://www.washingtonpost.com/outlook/how-ranked-choice-voting-saved-the-virginia-gop-from-itself/2021/11/05/6d1aa738-3dc2-11ec-8ee9-4f14a26749d1_story.html},
  urldate = {2023-06-14}
}


@online{RCVUtah,
  author = {Utah Ranked Choice Voting},
  title = {Ranked Choice Voting in Utah},
  year = 2023,
  url = {https://utahrcv.com/ranked-choice-voting-in-utah-1},
  urldate = {2023-06-14}
}

@online{RCVIndiana,
  author = {The Indiana Republican Party},
  title = {2020 State Convention},
  year = 2020,
  url = {https://www.indiana.gop/stateconvention},
  urldate = {2023-06-14}
}

@online{AVStLouis,
  author = {U.S. News \& World Report.},
  title = {St. Louis Voters Approve Nonpartisan Elections},
  year = 2020,
  url = {https://www.usnews.com/news/best-states/missouri/articles/2020-11-04/st-louis-voters-approve-nonpartisan-elections},
  urldate = {2020-12-03}
}

@inproceedings{conitzer2009preference,
  title={Preference functions that score rankings and maximum likelihood estimation},
  author={Conitzer, Vincent and Rognlie, Matthew and Xia, Lirong},
  booktitle={Twenty-First International Joint Conference on Artificial Intelligence},
  year={2009}
}

@article{borda1781memoire,
  title={M{\'e}moire sur les {\'e}lections au scrutin: Histoire de l’Acad{\'e}mie Royale des Sciences},
  author={Borda, J-C de},
  journal={Paris, France},
  volume={12},
  year={1781}
}