[EM] ICC & AFB incompatible (with = allowed in votes, under weakened AFB definition version)

Warren Smith wds at math.temple.edu
Tue Jan 30 10:34:44 PST 2007

Previous message: [EM] Deduction engine idea for proving property-set incompatibilities for EMs
Next message: [EM] ICC & AFB incompatible (with = allowed in votes, under weakened AFB definition version)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This fact is proved, along with a compilation of other things we know about
the AFB & ICC problem, here

http://rangevoting.org/SimmonsSmithPf.html

Warren D Smith
http://rangevoting.org

Previous message: [EM] Deduction engine idea for proving property-set incompatibilities for EMs
Next message: [EM] ICC & AFB incompatible (with = allowed in votes, under weakened AFB definition version)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Election-Methods mailing list