arXiv preprint / cs.LO

Formally Certifying the Vertex Set of a Polyhedron Faster than Informal Enumeration

作者：Xavier Allamigeon, Yazid Id-Sahra, Pierre-Yves Strub · 会议/期刊：arXiv preprint · 方向：cs.LO · 发布日期：2026-10-09

2026-10-09优化控制
新标签打开 AlphaXiv新标签打开 Code
Formally Certifying the Vertex Set of a Polyhedron Faster than Informal Enumeration figure
AlphaXiv 中文概览（可滚动查看）