Finding strategyproof social choice functions via SAT solving
Finding strategyproof social choice functions via SAT solving
复制标题
通过 SAT 求解找到策略证明的社会选择函数
DOI：
10.1613/jair.4959
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
C. Geist
中科院分区：
文献类型：
--
作者：
F. Brandt;C. Geist
登录
查看更多内容
锦标赛解决方案差异和分离的界限
影响因子：
1.1
作者：
F. Brandt;Andrew Dau;Hans Georg Seedig
通讯作者：
Hans Georg Seedig
赛事解决方案
DOI：
10.1017/cbo9781107446984.004
发表时间：
2016
期刊：
Artif. Intell.
影响因子：
--
作者：
F. Brandt;Markus Brill;Paul Harrenstein
通讯作者：
Paul Harrenstein
自动搜索社会选择理论中的不可能性定理：对对象集进行排名
DOI：
10.1613/jair.3126
发表时间：
2014
期刊：
J. Artif. Intell. Res.
影响因子：
--
作者：
Christian Geist;Ulrich Endriss
通讯作者：
Ulrich Endriss
HOL 中的社会选择理论
DOI：
10.1007/s10817-009-9147-4
发表时间：
2009
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
T. Nipkow
通讯作者：
T. Nipkow
集合单调性意味着凯利策略证明
影响因子：
0.9
作者：
F. Brandt
通讯作者：
F. Brandt