Economics; Theory; Verification; Algorithms; Computer-aided theorem proving; Strategyproofness; Tournament solutions; Set extensions; SAT;
机译:通过SAT解决找到具有战略意义的社会选择功能
机译:通过SAT解决找到具有战略意义的社会选择功能
机译:具有联盟战略证明性的社会选择功能的存在:一个建设性的证明
机译:通过SAT解决方案寻找战略性社交选择功能
机译:通过完全可行的连续成果功能实现对NASH的社交选择对应。
机译:社会归因测试 - 精神分裂症中的多项选择(SAT-MC):与社区样本和与神经认知社会认知和症状措施的关系的比较
机译:不确定的社会选择功能的策略证明的充要条件
机译:通过saT求解找到战略证明社会选择功能。