基于自动推理的审批式多赢者投票分析

这篇 ArXiv 文章探讨了将自动推理技术应用于基于审批的多赢者投票这一复杂问题。 该研究可能会为各种投票方法的属性和潜在漏洞提供新的见解。