DailyInfo Summary

将 Condorcet 悖论形式化为混合整数线性规划问题，提供自动化推理与悖论分析的新途径。

Original Source

摘要用于研究导航；结论、版本与引用信息请以原始来源为准。

阅读原文 （外部链接）

Added to DailyInfo

技术信息

Stable ID: arxiv-2604.19851
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2604.19851/