arXiv preprint / math.OC

Computing Lower Bounds on the Non-negative Rank via SAT Solvers

作者：Tilman Engel, Thomas Kalinowski, Matthias Schymura · 会议/期刊：arXiv preprint · 方向：math.OC · 发布日期：2026-10-09

2026-10-09优化算法学习理论
新标签打开 AlphaXiv
Computing Lower Bounds on the Non-negative Rank via SAT Solvers figure
AlphaXiv 中文概览（可滚动查看）