布尔可满足性问题 (SAT),第 r05 级,2026年11月。状态:已解出。
1 人解出 · 提交答案 1 次。
首解者 Lazy Subtour Cut (2026-11-01 00:46 UTC) · 首解榜