ML Anthology

Computer-Aided Proofs of Arrow's and Other Impossibility Theorems

Fangzhen Lin, Pingzhong Tang
AAAI 2008 pp. 114-119
/aaai/2008/lin2008aaai-computer/
PDF AAAI Semantic Scholar

Cite

Text

Lin and Tang. "Computer-Aided Proofs of Arrow's and Other Impossibility Theorems." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Lin and Tang. "Computer-Aided Proofs of Arrow's and Other Impossibility Theorems." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/lin2008aaai-computer/)

BibTeX

@inproceedings{lin2008aaai-computer,
  title     = {{Computer-Aided Proofs of Arrow's and Other Impossibility Theorems}},
  author    = {Lin, Fangzhen and Tang, Pingzhong},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {114-119},
  url       = {https://mlanthology.org/aaai/2008/lin2008aaai-computer/}
}