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

Fangzhen Lin, Pingzhong Tang

Browse the full AAAI paper archive.