Search Results - "Algorithms Keywords Computer-aided theorem proving"

Finding strategyproof social choice functions via SAT solving

Authors: Felix Brandt Christian Geist The Pennsylvania State University CiteSeerX Archives

Contributors: Felix Brandt Christian Geist The Pennsylvania State University CiteSeerX Archives

Source: http://dss.in.tum.de/files/brandt-research/sp2sat.pdf.

Subject Terms: Categories and Subject Descriptors [Applied computing, Economics, Computing methodologies, Artificial intelligence General Terms Economics, Theory, Verification, Algorithms Keywords Computer-aided theorem proving, strategyproofness, tour- nament solutions, set extensions

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9629

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9629
http://dss.in.tum.de/files/brandt-research/sp2sat.pdf

Finding strategyproof social choice functions via SAT solving

Authors: Felix Brandt Technische Universität München Christian Geist et al.

Contributors: Felix Brandt Technische Universität München Christian Geist et al.

Source: http://aamas2014.lip6.fr/proceedings/aamas/p1193.pdf.

Subject Terms: Categories and Subject Descriptors [Applied computing, Economics, Computing methodologies, Artificial intelligence General Terms Economics, Theory, Verification, Algorithms Keywords Computer-aided theorem proving, strategyproofness, tour- nament solutions, set extensions

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.686.3159; http://aamas2014.lip6.fr/proceedings/aamas/p1193.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.686.3159
http://aamas2014.lip6.fr/proceedings/aamas/p1193.pdf