Výsledky vyhledávání - "Algorithms Keywords Computer-aided theorem proving"

Finding strategyproof social choice functions via SAT solving

Autoři: Felix Brandt Christian Geist The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Felix Brandt Christian Geist The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: 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

Autoři: Felix Brandt Technische Universität München Christian Geist a další

Přispěvatelé: Felix Brandt Technische Universität München Christian Geist a další

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

Témata: 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

Popis souboru: application/pdf

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

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