Artificial intelligence; Coding; Germany; Symposia; Computer-aided theorem proving; Encoding; Foreign reports; Sat(Satisfiability); Set extensions; Strategyproofness; Tournament solutions;
机译:通过SAT解决找到具有战略意义的社会选择功能
机译:通过SAT解决找到具有战略意义的社会选择功能
机译:二分法域对战略的随机社交选择功能的分解
机译:通过SAT解决方案寻找战略性社交选择功能
机译:在使用数学计算工具的情况下了解功能,证明和数学建模:中学数学教师及其策略和联系。
机译:社会归因测试 - 精神分裂症中的多项选择(SAT-MC):与社区样本和与神经认知社会认知和症状措施的关系的比较
机译:联盟策略-防伪和掩码单调性等效的社会选择函数域
机译:功利主义效率与社会选择中虚假名称的共存。